David Park (computer scientist)

David Park
Born1935 (1935)
Died29 September 1990(1990-09-29) (aged 54–55)
Warwick, United Kingdom
CitizenshipUnited Kingdom
EducationUniversity of Oxford
Massachusetts Institute of Technology
Known forLisp
Bisimulation
Scientific career
FieldsMathematics
Computer science
InstitutionsMassachusetts Institute of Technology
University of Cambridge
University of Warwick
Thesis Set-Theoretic Constructions in Model Theory  (1964)
Doctoral advisorHartley Rogers Jr.
Doctoral studentsMike 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]

  1. ^ 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
  2. ^ 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.
  3. ^ a b 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.