Condensed Curriculum Vitae
James Jay Horning

Updated November 10, 2005

Education

Ph.D. in Computer Science, Stanford University, October 1969.
Thesis: "A Study of Grammatical Inference."

M.S. in Physics, University of California at Los Angeles, June 1965.

B.A. (with Honors) in Physics and Mathematics, Pacific Union College, June 1963.
Honors Project: "Intercom 512: An Educational Interpreter."

 Post-Ph.D. employment April 2005–present: SPARTA, Inc., Sunnyvale, CA.
Chief Scientist, Information Systems Security Operation.

May 2002–April 2005: McAfee, Inc. (formerly Network Associates, Inc.), Santa Clara, CA.
Chief Scientist and Director of West Coast Operations, 2003–2005;
Manager, Security Architecture and Modeling Group, 2002–2003.

June 1996–April 2002: InterTrust Technologies Corporation, Santa Clara, CA.
Director, Intellectual Property Research, 2001-2002;
Director, Strategic Technologies and Architectural Research Laboratory, 1997–2001;
Senior Vice President, Research, 2001;
Research Fellow, 1996.

February 1996–May 1996: Silicon Graphics Incorporated, Mountain View, CA.

January 1984–February 1996: Digital Equipment Corporation, Palo Alto, CA.
Systems Research Center, Senior Consultant Software Engineer.

June 1977–January 1984: Xerox Corporation, Palo Alto Research Center, Computer Science Laboratory, Palo Alto, CA.
Research Fellow, 1982–1984;
Principal Scientist, 1978–1982;
Member of Research Staff, 1977–1978.

September 1969–June 1977: University of Toronto, Departments of Computer Science and Electrical Engineering, Toronto, Ontario, Canada.
Associate Professor of Computer Science and Electrical Engineering, 1972–1977;
Assistant Professor of Computer Science, 1969–1972.

Selected publications, talks, and professional activities

31 Refereed articles and presentations, including:

"Learning from Experience," Inside Risks column, Communications of the ACM, 44,
7, p. 112, July 2001.

"The System Language for Project SUE," [co-authored] Proceedings of the ACM SIGPLAN Symposium on Languages for System Implementation, Lafayette, SIGPLAN Notices 6, 9, pp. 79–88, Sept. 1971.

2 Books: Larch: Languages and Tools for Formal Specification, [co-authored], xiii+250, Springer-Verlag, 1993. ISBN 0-387-94006-5, ISBN 0-540-94006-5.

A Compiler Generator, [co-authored] xi+527, Prentice-Hall, 1970, ISBN 0-131-55077-2.

13 Book chapters, including: "Formalizing Some Classic Synchronization Primitives," in Beauty is Our Business: A Birthday Salute to Edsger W. Dijkstra, W. H. J. Feijn, A. J. M van Gasteren, D. Gries, J. Misra (eds.), Springer-Verlag, pp. 212–219, 1990.

"The Software Project as a Serious Game" in Software Engineering Education: Needs and Objectives, Anthony I. Wasserman and Peter Freeman (eds.), Springer-Verlag, pp. 71–77, 1976.

 8 Invited talks and keynotes, including: "Electronic Commerce in Intellectual Property," Schlosstag ’98: 30 Years GMD, Bonn, 1998.

"Combining Algebraic and Predicative Specifications in Larch," International Joint Conference on Theory and Practice of Software Development, Berlin, Lecture Notes in Computer Science 186, Springer-Verlag, pp. 12–26, Mar. 1985

 6 Position papers, including: CRA Workshop on Grand Research Challenges in Information Security & Assurance, Airlie House, Warrenton, Virginia, November 16-19, 2003.

"Yes! High Level Languages Should be Used to Write System Software," ACM’75 Proceedings, pp. 206–208, 1975.

 Selected professional activities

Association for Computing Machinery (ACM):

Member since 1965; Fellow since 1997.

Committee on Computers and Public Policy (CCPP): member 1985–present.

USACM (US public policy committee): member 1992–present.

Awards Committee Co-Chairman, 2002–present.

ACM Fellows Selection Committee: member 1998–2002; Chairman, 2001.

International Federation for Information Processing (IFIP): Working Group 2.3 (Programming Methodology): member since 1974; Chairman 1976–1979; Vice-chairman 1982–1987.

Participated in two other working groups and in Technical Committee 2 (Programming).

Computing Research Association (CRA): Board of Directors: 2001–2004.10 Program Committees, including: ACM Policy’98, Policy Track, Washington, 1998.

International Conference on Reliable Software, Los Angeles, 1975.

 Patents "Dynamic Fine-grained Dependency Analysis for a Functional Language," with Martin Abadi, Roy Levin, Butler W. Lampson, Jean-Jacques Levy, and Yuan Yu.
US patent 5,940,619; also patented internationally.

"Recursive Cache," with B. Randell, R. Kerr, P. M. Melliar-Smith, and H. C. Lauer.
US Patent 4,164,017; also patented internationally.

Other patent applications pending.
[ Jim Horning Home ]