Jim Horning's Professional Home Page

Contact information

James Jay Horning, Ph.D.
Consultant
(650) 322-7276 (voice and fax)
work@horning.net

Background

I wrote my first computer program in 1959 and received my Ph.D. in Computer Science from Stanford University in 1969.

I was a founding member and Chairman of the University of Toronto's Computer Systems Research Group (CSRG), a Research Fellow at Xerox's Palo Alto Research Center (PARC), and a founding member and Senior Consultant at Digital's Systems Research Center (DEC/SRC).

I founded InterTrust's Strategic Technologies and Architectural Research Laboratory (STAR Lab) in 1997 and was its Director through October 2001. I was Chief Scientist of McAfee Research, which was sold to SPARTA in April, 2005, which, in turn, was sold to Cobham in June, 2008. I remained at Cobham until July, 2009.

My long-term interest in the mastery of complexity (especially by linguistic means) has involved me in research on programming languages and compilers, grammatical inference, operating systems, programming methodology, formal specification and verification, tools for electronic commerce in intellectual property, and computer and network security.

I am a Fellow of the ACM and holder of the IFIP Silver Core. I am a member and past Chairman of IFIP's Working Group 2.3 (Programming Methodology), Co-chairman of the ACM Awards Committee, a member of the USACM Council, and a past member of the board of the Computing Research Association (CRA).

I have co-authored two books Larch: Languages and Tools for Formal Specification (1993) and A Compiler Generator (1970).