Jim Horning
James Jay Horning | |
|---|---|
| Born | Template:Birth date |
| Died | January 18, 2013 (aged 70) |
| Occupation | Computer scientist |
| Known for | Programming language design, formal methods, digital rights management, Larch specification framework |
James Jay Horning (August 24, 1942 – January 18, 2013) was a distinguished American computer scientist and recognized as an ACM Fellow.
Overview
In 1969, Horning completed his doctorate in computer science at Stanford University with a dissertation entitled A Study of Grammatical Inference. Between 1969 and 1977, he established and led the Computer Systems Research Group at the University of Toronto, where he played a key role in developing the programming language Euclid. From 1977 until 1984, he served as a research fellow at the Xerox Palo Alto Research Center (PARC). Subsequently, from 1984 to 1996, he was among the founding members and acted as a senior consultant at the DEC Systems Research Center (DEC/SRC). Later, between 1997 and 2001, he founded and headed the STAR Lab within Intertrust Technologies Corporation.
Horning’s areas of specialization included programming language design, programming methodology, formal methods, as well as digital rights management and computer and network security. He is notably credited for his involvement in creating the Larch formal specification framework in collaboration with John Guttag (MIT) and others.
Selected publications
- A Compiler Generator (co-authored with William M. McKeeman and D. B. Wortman), published by Prentice Hall in 1970. .
- Larch: Languages and Tools for Formal Specification, released by Springer-Verlag in 1993.
- P. Denning, J. Horning, D. Parnas, L. Weinstein, "Wikipedia risks," Communications of the ACM, vol. 48, no. 12, December 2005, p. 152.
- J. Horning, P. G. Neumann, "Risks of neglecting infrastructure," Communications of the ACM, vol. 51, no. 6, June 2008, p. 112.
External links
- Archived home page (captured September 29, 2005)
- Archived Curriculum Vitae (captured March 5, 2005)