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]