John C. Reynolds
| John C. Reynolds | |
|---|---|
 |
|
| Born | John Charles Reynolds June 1, 1935 |
| Died | Error: Need valid death date (first date): year, month, day |
| Thesis | Surface Properties of Nuclear Matter (1961) |
| Doctoral students | Benjamin C. Pierce |
| Known for | continuations, definitional interpreters, defunctionalization, Forsythe, Gedanken, intersection types, polymorphic lambda calculus, relational parametricity, separation logic |
| Notable awards | Lovelace Medal (2010) |
John Charles Reynolds (June 1, 1935 – April 28, 2013) was an American computer scientist.[1]
Contents
Education and affiliations
John Reynolds studied at Purdue University and then earned a PhD in theoretical physics from Harvard University in 1961. He was Professor of Information science at Syracuse University from 1970 to 1986. From then until his death he was Professor of Computer Science at Carnegie Mellon University. He also held visiting positions at Aarhus University (Denmark), University of Edinburgh, Imperial College London, Microsoft Research (Cambridge) and Queen Mary, University of London (UK).
Academic work
Reynolds's main research interest was in the area of programming language design and associated specification languages, especially concerning formal semantics. He invented the polymorphic lambda calculus (System F) and formulated the property of semantic parametricity; the same calculus was independently discovered by Jean-Yves Girard. He wrote a seminal paper on definitional interpreters, which clarified early work on continuations and introduced the technique of defunctionalization. He applied category theory to programming language semantics. He defined the programming languages Gedanken and Forsythe, known for its use of intersection types. He worked on a separation logic to describe and reason about shared mutable data structures.
He had been an editor of journals such as the Communications of the ACM and the Journal of the ACM. In 2001, he was appointed a Fellow of the ACM. He won the ACM SIGPLAN Programming Language Achievement Award in 2003, and the Lovelace Medal from the British Computer Society in 2010.
Selected publications
- Books
- The Craft of Programming, Prentice Hall International, 1981. ISBN 0-13-188862-5.
- Theories of Programming Languages, Cambridge University Press, 1998. ISBN 0-521-59414-6.
- Articles
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
References
<templatestyles src="Reflist/styles.css" />
Cite error: Invalid <references> tag; parameter "group" is allowed only.
<references />, or <references group="..." />Further reading
- Olivier Danvy, Peter O'Hearn and Philip Wadler (editors), "Festschrift for John C. Reynolds's 70th Birthday". Theoretical Computer Science, 375(1–3):1–350, 1 May 2007. Editorial, pages 1–2. doi:10.1016/j.tcs.2006.12.024
External links
- Home page
- Curriculum Vitae
- John C. Reynolds's publications indexed by the DBLP Bibliography Server at the University of Trier
- John C. Reynolds at the Mathematics Genealogy Project
- Program Verification and Semantics: Further Work (London, 2004)
Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- Pages with reference errors
- Age error
- 1935 births
- 2013 deaths
- Harvard University alumni
- Purdue University alumni
- American computer scientists
- Formal methods people
- Programming language researchers
- Academics of Imperial College London
- Academics of Queen Mary University of London
- Syracuse University faculty
- Carnegie Mellon University faculty
- Academic journal editors
- Microsoft employees
- Fellows of the Association for Computing Machinery
