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).

PropertyValue
dbpprop:abstract
  • 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 et al.
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • 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).
rdfs:label
  • Jim Horning
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of
is owl:sameAs of