John C. Reynolds
John Charles Reynolds (June 1, 1935 – April 28, 2013) was an American computer scientist.
John C. Reynolds | |
|---|---|
| Born | John Charles Reynolds June 1, 1935 United States |
| Died | April 28, 2013 (aged 77) |
| Citizenship | United States |
| Education | Purdue University Ph.D., Harvard University (1961) |
| Known for | continuations, definitional interpreters, defunctionalization, Forsythe, Gedanken language, intersection types, polymorphic lambda calculus, relational parametricity, separation logic, ALGOL |
| Awards | Lovelace Medal (2010) |
| Scientific career | |
| Fields | Computer scientist |
| Institutions | Syracuse University Carnegie Mellon University |
| Thesis | Surface Properties of Nuclear Matter (1961) |
| Doctoral students | Benjamin C. Pierce |
| Website | www |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.