David Park | |
---|---|
Born | 1935 |
Died | September 29, 1990 |
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. He became an authority on the topics of fairness, program schemas and bisimulation in concurrent computing.