| David Park | |
|---|---|
| Born | 1935 (1935) |
| Died | 29 September 1990(1990-09-29) (aged 54–55) Warwick, United Kingdom |
| Citizenship | United Kingdom |
| Education | University of Oxford Massachusetts Institute of Technology |
| Known for | Lisp Bisimulation |
| Scientific career | |
| Fields | Mathematics Computer science |
| 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.
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, retrieved 11 May 2010
- Paterson, Michael (1994). "David Michael Ritchie Park (1935–1990) in memoriam". Theoretical Computer Science (PDF). Vol. 133. Oxford: Elsevier. pp. 187–200. ISSN 0304-3975.
- ^ Paterson, M.S. (March 1990). "Obituary: Professor David Michael Ritchie Park". Formal Aspects of Computing. 2 (1). London: Springer: 299–300. doi:10.1007/BF01888230. ISSN 0934-5043. S2CID 13190797. Archived from the original on 14 July 2011.
External links
| P ≟ NP | This biographical article relating to a computer scientist is a stub. You can help Misplaced Pages by expanding it. |