John C. Reynolds#
| Sadly, this member passed away. | |
| Membership Number: | 2472 |
| Membership type: | FOREIGN |
| Section: | INFORMATICS |
| Elected: | 2007 |
| Main Country of Residence: | UNITED STATES |
| Homepage(s): | http://www.cs.cmu.edu/~jcr |
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
