David Park (computer scientist)

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). 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. pp. 299–300. doi:10.1007/BF01888230. ISSN 0934-5043. Archived from the original on 14 July 2011.

External links

David Park at the Mathematics Genealogy Project

P ≟ NP

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.

[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

[ObitBook-2] Paterson, Michael (1994). "David Michael Ritchie Park (1935–1990) in memoriam". Theoretical Computer Science (PDF). 133. Oxford: Elsevier. pp. 187–200. ISSN 0304-3975.

[ObitWeb-3] Paterson, M.S. (March 1990). "Obituary: Professor David Michael Ritchie Park". Formal Aspects of Computing. London: Springer. pp. 299–300. doi:10.1007/BF01888230. ISSN 0934-5043. Archived from the original on 14 July 2011.

[1]

[2]

[3]

David Park
Born	1935 (1935)
Died	29 September 1990(1990-09-29) (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