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 |
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] At the University of Warwick, he was one of the earliest members of the computer science department, and served as chairperson.[3]
YouTube Encyclopedic
-
1/3Views:135 8513 234 9389 344 230
-
New “Neural Dust” sensor could be implanted in the body
-
Google I/O Keynote (Google I/O '17)
-
A 12-year-old app developer | Thomas Suarez
Transcription
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.
- ^ a b 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.
External links
This page was last edited on 22 August 2023, at 23:54