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.
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.
Read more about Jim Horning: Selected Publications, Famous Quote
Famous quotes containing the word jim:
“Just kids! That’s about the craziest argument I’ve ever heard. Every criminal in the world was a kid once. What does it prove?”
—Theodore Simonson. Irvin S. Yeaworth, Jr.. Jim Bird, The Blob, responding to the suggestion that they not lock up the teens pulling the alien “prank,” (1958)