David Park (computer scientist)
|Died||29 September 1990 (aged 54–55)|
|Education||University of Oxford|
Massachusetts Institute of Technology
|Institutions||Massachusetts Institute of Technology|
University of Cambridge
University of Warwick
|Thesis||Set-Theoretic Constructions in Model Theory (1964)|
|Doctoral advisor||Hartley Rogers Jr.|
|Doctoral students||Mike Paterson|
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. At the University of Warwick, he was one of the earliest members of the computer science department, and served as chairperson.
- 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, retrieved 11 May 2010
- Paterson, Michael (1994). "David Michael Ritchie Park (1935–1990) in memoriam". Theoretical Computer Science (PDF). Theoretical Computer Science. 133. Oxford: Elsevier. pp. 187–200. ISSN 0304-3975.
- Paterson, M.S. (March 1990). "Obituary: Professor David Michael Ritchie Park". Formal Aspects of Computing. London: Springer. 2 (1): 299–300. doi:10.1007/BF01888230. ISSN 0934-5043. S2CID 13190797. Archived from the original on 14 July 2011.