James Jay Horning (August 24, 1942 – January 18, 2013) was an American computer scientist and ACM Fellow.
[1] 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, from 1969 until 1977.
[3] Peter G. Neumann reported on 22 January 2013 in the RISKS Digest, volume 27, issue 14, that Horning had died on 18 January 2013[4] in Palo Alto, California/[2] 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 (MIT) et al.