John C. Reynolds#


John C. Reynolds
Sadly, this member passed away.
Email:john.reynolds 'at' cs.cmu.edu
Membership Number:2472
Membership type:FOREIGN
Main Country of Residence:UNITED STATES
Section:INFORMATICS
Username:jreynolds
Homepage: http://www.cs.cmu.edu/~jcr



Positions Held

John C. Reynolds passed away April 28, 2013.

  • 1986 Professor of Computer Science, Carnegie Mellon University
  • 1970 - 1986 Professor of Systems and Information Science, Syracuse University
  • 1961 - 1970 Assistant, later Associate Physicist, Argonne National Laboratory,
  • 1961 Ph.D., Harvard University (Theoretical Physics)

Fields of Scholarship
  • Programming language design
  • Logics for program specification and verification
  • Mathematical semantics

Honours and Awards
  • Honorary D.Sc. Degree, University of London (Queen Mary and Westfield), July 17, 2007
  • Dana Scott Distinguished Research Career Award (from Carnegie Mellon University), April 2006
  • SIGPLAN Programming Language Achievement Award. June 2003
  • Fellow of the Association for Computing Machinery, March 2001-present


Imprint Privacy policy « This page (revision-5) was last updated on Wednesday, 26. February 2014, 15:06 by Kaiser Dana
  • operated by