Education
Jim Horning received a Doctor of Philosophy in computer science from Stanford University in 1969 for a thesis entitled A Study of Grammatical Inference.
- Photos
- Works
- Photos
- Works
book
A compiler generator
(Englewood Cliffs 1970 2nd printing. Sm.4to., 527pp., inde...)
Englewood Cliffs 1970 2nd printing. Sm.4to., 527pp., index, printed hardcover. Institution stamp on title page and on top fore-edge. VG in Good DJ, dj somewhat worn and frayed.
http://www.amazon.com/gp/product/B007EUHZ2U/?tag=2022091-20
Jim Horning
Edit ProfileCareer
He was a founding member, and later chairman, of the Computer Systems Research Group at the University of Toronto, Canada, from 1969 until 1977. He was then a Research Fellow at the Xerox Palo Alto Research Center (Palo Alto Research Center) from 1977 until 1984 and a founding member and senior consultant at DEC Systems Research Center (DEC/Strategic Research Centre) from 1984 until 1996. Peter G. Neumann reported on 22 January 2013 in the RISKS Digest, Volume 27, Issue 14, that Horning had died on 18 January 2013.
Horning"s interests included 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 (Massachusetts Institute of Technology) et al. J. Doctorate. M. V. G. "Nothing is as simple as we hope it will be." "Good judgement comes from experience, experience comes from bad judgement.".
Achievements
Works
book
-
A compiler generator
(Englewood Cliffs 1970 2nd printing. Sm.4to., 527pp., inde...)
-
A compiler generator
Views
Quotations:
"Nothing is as simple as we hope it will be."
"Good judgement comes from experience, experience comes from bad judgement.".
-
Born
-
Died
January 18, 2013 (aged 70) -
Nationality
United States -
Political Party
STAR