David Park (computer scientist)
David Michael Ritchie Park (1935 – 29 September 1990) was a British computer scientist. He worked on the first implementation of the programming language Lisp. He became an authority on the topics of fairness, program schemas and bisimulation in concurrent computing.
|Died||29 September 1990 54–55) (aged|
Warwick, United Kingdom
|Education||University of Oxford|
Massachusetts Institute of Technology
|Institutions||Massachusetts Institute of Technology|
University of Cambridge
|Thesis||Set-Theoretic Constructions in Model Theory (1964)|
|Doctoral advisor||Hartley Rogers Jr.|
|Doctoral students||Mike Paterson|
- 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 11 May 2010.
- Paterson, Michael (1994). "David Michael Ritchie Park (1935–1990) in memoriam". Theoretical Computer Science (PDF). 133. Oxford: Elsevier. pp. 187–200. ISSN 0304-3975.
- Paterson, M.S. (March 1990). "Obituary: Professor David Michael Ritchie Park". London: Springer. pp. 299–300. doi:10.1007/BF01888230. ISSN 0934-5043. Archived from the original on 14 July 2011.