John C. Reynolds#

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

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 changed on Monday, 14. June 2021, 13:59 by Kaiser Dana
  • operated by