John C. Reynolds

John C. Reynolds
Born
John Charles Reynolds

(1935-06-01)June 1, 1935
United States
DiedApril 28, 2013(2013-04-28) (aged 77)
EducationPurdue University
Ph.D., Harvard University (1961)
Known forcontinuations, definitional interpreters, defunctionalization, Forsythe, Gedanken language, intersection types, polymorphic lambda calculus, relational parametricity, separation logic, ALGOL
AwardsLovelace Medal (2010)
Scientific career
FieldsComputer scientist
InstitutionsSyracuse University
Carnegie Mellon University
Thesis Surface Properties of Nuclear Matter  (1961)
Doctoral studentsBenjamin C. Pierce
Websitewww.cs.cmu.edu/~jcr

John Charles Reynolds (June 1, 1935 – April 28, 2013) was an American computer scientist.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.