David Park (computer scientist)
| David Park | |
|---|---|
| Born | 1935 |
| Died | September 29, 1990 |
| Nationality | British |
| Fields | Mathematics |
| Institutions | University of Cambridge |
| Alma mater | Massachusetts Institute of Technology |
| Thesis | Set-Theoretic Constructions in Model Theory (1964) |
| Doctoral advisor | Hartley Rogers, Jr. |
| Doctoral students |
Mike Paterson Peter Welch |
David Michael Ritchie Park (1935 – 29 September 1990) was a British computer scientist. He worked on the first implementation of LISP.[1] He became an authority on the topics of fairness, program schemas and bisimulation in concurrent computing.[2]
Notes
- ↑ McCarthy, J.; Brayton, R.; Edwards, D.; Fox, P.; Hodes, L.; Luckham, D.; Maling, K.; Park, D.; Russell, S. (March 1960), LISP I Programmers Manual (PDF), Boston, Massachusetts: Artificial Intelligence Group, M.I.T. Computation Center and Research Laboratory Accessed May 11, 2010.
- ↑ "Obituary: Professor David Michael Ritchie Park", M.S. Paterson, Formal Aspects of Computing, Springer London, ISSN 0934-5043 (Print) 1433-299X (Online), v.2, #1 / March, 1990 doi:10.1007/BF01888230, pp. 299-300
External links
This article is issued from Wikipedia - version of the 5/2/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.