CPSR home page for Jim Horning
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.
Last modified February 16, 2006 01:04 PM