Jim Horning
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 later 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 a consultant to Applied Elemental Technologies.
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
- A Compiler Generator (with W. M. Mckeeman and D. B. Wortman), Prentice Hall (1970). ISBN 0-13-155077-2.
- Larch, Languages and Tools for Formal Specification (with John V. Guttag, S.J. Garland, K.D. Jones, A. Modet, and J.M. Wing), Springer-Verlag Texts and Monographs in Computer Science (1993). ISBN 0-387-94006-5, ISBN 3-540-94006-5.
- Peter Denning, Jim Horning, David Parnas, and Lauren Weinstein, "Wikipedia risks", Communications of the ACM 48(12):152, December 2005. doi>10.1145/1349026.1349047
[edit] Famous Quote
Nothing is as simple as we hope it will be.
