User:Jim Horning

From Wikipedia, the free encyclopedia
Jim Horning died on 18 January 2013; see Jim Horning.

Home page

Jim Horning is Chief Scientist of the Information Systems Security Operation of SPARTA, Inc. His professional interests include programming languages, programming methodology, specification and formal methods, digital rights management, and computer and network security. His hobbies include reading science fiction, photography, and videography. His family is also passionate about quotations [1], West Highland White Terriers, and fuchsias.

Jim H. January 11, 2006