PROFILPELAJAR.COM

David Park
David Park
Born	1935
Died	29 September 1990 (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.^[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]

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. 2 (1). London: Springer: 299–300. doi:10.1007/BF01888230. ISSN 0934-5043. S2CID 13190797. Archived from the original on 14 July 2011.