David Park (počítačový vědec) - David Park (computer scientist)
David Park | |
|---|---|
| narozený | 1935 |
| Zemřel | 29. září 1990 (ve věku 54–55) |
| Státní občanství | Spojené království |
| Vzdělávání | University of Oxford Massachusetts Institute of Technology |
| Známý jako | Lisp Bisimulace |
| Vědecká kariéra | |
| Pole | Matematika Počítačová věda |
| Instituce | Massachusetts Institute of Technology Univerzita v Cambridge University of Warwick |
| Teze | Set-teoretické konstrukce v teorii modelu (1964) |
| Doktorský poradce | Hartley Rogers Jr. |
| Doktorandi | Mike Paterson |
David Michael Ritchie Park (1935-29. Září 1990) byl Brit počítačový vědec. Pracoval na první implementaci programovacího jazyka Lisp.[1]Stal se autoritou v oblasti spravedlnosti, programových schémat a bisimulace v souběžné výpočty.[2][3] Působil jako předseda oddělení informatiky ve Warwicku a jeden z jeho prvních členů.[3]
Poznámky
- ^ McCarthy, J.; Brayton, R .; Edwards, D .; Fox, P.; Hodes, L.; Luckham, D.; Maling, K .; Park, D .; Russell, S. (Březen 1960), Příručka programátorů LISP I (PDF), Boston, Massachusetts: Skupina umělé inteligence, M.I.T. Výpočetní centrum a Výzkumná laboratoř Přístup 11. května 2010.
- ^ Paterson, Michael (1994). „David Michael Ritchie Park (1935–1990) in memoriam“. Teoretická informatika (PDF). 133. Oxford: Elsevier. 187–200. ISSN 0304-3975.
- ^ A b Paterson, M.S. (Březen 1990). „Nekrolog: profesor David Michael Ritchie Park“. Londýn: Springer. 299–300. doi:10.1007 / BF01888230. ISSN 0934-5043. Archivovány od originál dne 14. července 2011.
externí odkazy
| Funkce |
| ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Implementace |
| ||||||||||||||||||||||||
| Hardware | |||||||||||||||||||||||||
| Společenství praxe |
| ||||||||||||||||||||||||
| |||||||||||||||||||||||||
Kategorie
| P ≟ NP | Tento životopisný článek týkající se a počítačový vědec je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |