Jim Horning
From Wikipedia, the free encyclopedia
James J. "Jim" Horning is an American computer scientist and ACM Fellow.
Jim Horning received a PhD in computer science from Stanford University in 1969 for a thesis entitled A Study of Grammatical Inference. He was a founding member and Chairman of the Computer Systems Research Group at the University of Toronto, Canada (1969–1977). He was then a Research Fellow at the Xerox Palo Alto Research Center (PARC, 1977–1984) and a founding member and Senior Consultant at DEC Systems Research Center (DEC/SRC, 1984–1996). He was founder and director of STAR Lab (1997–2001) at InterTrust Technologies Corp.
Horning is currently Chief Scientist of the Information Systems Security Operation of SPARTA, Inc.
Horning's interests include programming languages, programming methodology, specification, formal methods, digital rights management and computer/network security. A major contribution was his involvement with the Larch approach to formal specification with John Guttag (MIT) et al.
[edit] Selected publications
- Larch: Languages and Tools for Formal Specification, Springer-Verlag (1993). ISBN 0387940065
- A Compiler Generator, Prentice Hall (1970). ISBN 0-13-155077-2.
- Peter Denning, Jim Horning, David Parnas, and Lauren Weinstein, "Wikipedia risks", Communications of the ACM 48(12):152, December 2005. DOI:10.1145/1101779.1101804
