James Jay Horning, Ph.D.
(650) 322-7276 (voice and fax)
I was a founding member and Chairman of the
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).
Updated on June 3,2008, by firstname.lastname@example.org