User:Jim Horning
From Wikipedia, the free encyclopedia
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