Jim Horning's Professional Page

Jim Horning's Professional Home Page

Contact information

James Jay Horning, Ph.D.
Chief Scientist
Information Systems Security Operation,
National Security Systems Sector
SPARTA, Inc.

710 Lakeway Drive, Suite 195
Sunnyvale, CA 94085
Map
(408) 774-1111 x102
(408) 774-9311 (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.

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, and tools for electronic commerce in intellectual property. Recently my work has focused on 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, 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).