John C. Reynolds#

John C. Reynolds
Sadly, this member passed away.
Membership Number:2472
Membership type:FOREIGN
Main Country of Residence:UNITED STATES

John C. Reynolds passed away April 28, 2013.

Positions Held
  • 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
  • Mathematical semantics
  • Logics for program specification and verification
  • Programming language design

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

Imprint Privacy policy « This page (revision-6) was last changed on Wednesday, 27. April 2022, 08:49 by Kaiser Dana
  • operated by