Personal tools
Home » Members »

CPSR home page for Jim Horning

Dr. James Jay (Jim) Horning is Chief Scientist of the Information Systems Security Operation of SPARTA, Inc.

Professional home page.

Personal home page.

Nothing is as simple as we hope it will be
Virtual bumper stickers

Jim was Chief Scientist of McAfee Research, which was sold to SPARTA in April, 2005. He founded InterTrust's Strategic Technologies and Architectural Research Laboratory (STAR Lab) in 1997 and was its Director through October 2001. He was a founding member and Senior Consultant at Digital's Systems Research Center (DEC/SRC), a Research Fellow at Xerox's Palo Alto Research Center (PARC), and a founding member and Chairman of the University of Toronto's Computer Systems Research Group (CSRG).

Jim is 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). He is a co-author of two books Larch: Languages and Tools for Formal Specification (1993) and A Compiler Generator (1970). He wrote his first computer program in 1959 and received his Ph.D. in Computer Science from Stanford University in 1969. He is a Fellow of the ACM.

Created by sevoy
Last modified February 16, 2006 01:04 PM
This content is the sole responsibility of its author and does not necessarily reflect CPSR policy.

Sign up for CPSR announcements emails


International Chapters -

> Canada
> Japan
> Peru
> Spain

USA Chapters -

> Chicago, IL
> Pittsburgh, PA
> San Francisco Bay Area
> Seattle, WA
Why did you join CPSR?

It was time to support the cause.