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.[1] He became an authority on the topics of fairness, program schemas and bisimulation in concurrent computing.[2][3] He served as chair of the Computer Science Department at Warwick and one of its earliest members.[3]
David Park | |
|---|---|
| Born | 1935 |
| Died | 29 September 1990 (aged 54–55) |
| 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 |
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 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.
gollark: ``` _ _ __ _ _ __ ___ __ _____ __| | ___ (_)_ __ __ _ / _` | '__/ _ \ \ \ /\ / / _ \ / _` |/ _ \| | '_ \ / _` || (_| | | | __/ \ V V / __/ | (_| | (_) | | | | | (_| | \__,_|_| \___| \_/\_/ \___| \__,_|\___/|_|_| |_|\__, | |___/ _ ____ ____ ___ ___ _ / \ / ___| / ___|_ _|_ _| __ _ _ __| |_ / _ \ \___ \| | | | | | / _` | '__| __| / ___ \ ___) | |___ | | | | | (_| | | | |_ /_/ \_\____/ \____|___|___| \__,_|_| \__| ___ _ __ _____ _|__ \| '_ \ / _ \ \ /\ / / / /| | | | (_) \ V V / |_| |_| |_|\___/ \_/\_/ (_) ```
gollark: Sure? But never underestimate the patience of people doing stupid things.
gollark: Ah yes.
gollark: But it is said that locks only work for keeping out honest people, inasmuch as they can be bypassed or picked or whatever quite easily.
gollark: What are you responding to here?
External links
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.