John C. Reynolds#
| Email: | john.reynolds 'at' cs.cmu.edu |
| Membership Number: | 2472 |
| Main Country of Residence: | UNITED STATES |
| Section: | INFORMATICS |
| Username: | jreynolds |
Present and Previous Positions
- Professor of Computer Science, Carnegie Mellon University, 1986-present
- Professor of Systems and Information Science, Syracuse University, 1970-86
- Assistant, later Associate Physicist, Argonne National Laboratory, 1961-70
- Ph.D., Harvard University (Theoretical Physics) 1961
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
| operated by | 
|