| David Park | |
| Df: | yes --> |
| Death Place: | Warwick, United Kingdom |
| Citizenship: | United Kingdom |
| Fields: | Mathematics Computer science |
| Workplaces: | Massachusetts Institute of Technology University of Cambridge University of Warwick |
| Education: | University of Oxford Massachusetts Institute of Technology |
| Doctoral Advisor: | Hartley Rogers Jr. |
| Doctoral Students: | Mike Paterson |
| Known For: | Lisp Bisimulation |
| Thesis Title: | Set-Theoretic Constructions in Model Theory |
| Thesis Year: | 1964 |
David Michael Ritchie Park (1935 – 29 September 1990) was a British computer scientist. He worked on the first implementation of the programming language Lisp.He became an authority on the topics of fairness, program schemas and bisimulation in concurrent computing.[1] [2] At the University of Warwick, he was one of the earliest members of the computer science department, and served as chairperson.[2]