David Park (computer scientist)

From Wikipedia, the free encyclopedia
Jump to: navigation, search
David Park
Born 1935
Died September 29, 1990(1990-09-29)
Nationality British
Fields Mathematics
Institutions University of Cambridge
Alma mater Massachusetts Institute of Technology
Thesis Set-Theoretic Constructions in Model Theory (1964)
Doctoral advisor Hartley Rogers, Jr.
Doctoral students Mike Paterson
Peter Welch

David Michael Ritchie Park (1935 – 29 September 1990) was a British computer scientist. He worked on the first implementation of LISP.[1] He became an authority on the topics of fairness, program schemas and bisimulation in concurrent computing.[2]

Notes[edit]

  1. ^ McCarthy, J.; Brayton, R.; Edwards, D.; Fox, P.; Hodes, L.; Luckham, D.; Maling, K.; Park, D. et al. (March 1960), LISP I Programmers Manual, Boston, Massachusetts: Artificial Intelligence Group, M.I.T. Computation Center and Research Laboratory  Accessed May 11, 2010.
  2. ^ "Obituary: Professor David Michael Ritchie Park", M.S. Paterson, Formal Aspects of Computing, Springer London, ISSN 0934-5043 (Print) 1433-299X (Online), v.2, #1 / March, 1990 doi:10.1007/BF01888230, pp. 299-300 [1]

External links[edit]