Дэвид Парк (ученый-компьютерщик) - David Park (computer scientist)
Дэвид Парк | |
---|---|
Родившийся | 1935 |
Умер | 29 сентября 1990 г. | (54–55 лет)
Гражданство | объединенное Королевство |
Образование | Оксфордский университет Массачусетский Институт Технологий |
Известен | Лисп Бисимуляция |
Научная карьера | |
Поля | Математика Информатика |
Учреждения | Массачусетский Институт Технологий Кембриджский университет Уорикский университет |
Тезис | Теоретико-множественные конструкции в теории моделей (1964) |
Докторант | Хартли Роджерс мл. |
Докторанты | Майк Патерсон |
Дэвид Майкл Ричи Парк (1935 - 29 сентября 1990) был британцем специалист в области информатики. Он работал над первой реализацией языка программирования. Лисп.[1]Он стал авторитетом в вопросах справедливости, схем программ и бисимуляция в параллельные вычисления.[2][3] Он занимал должность председателя факультета компьютерных наук в Уорике и был одним из первых его сотрудников.[3]
Примечания
- ^ Маккарти, Дж.; Brayton, R .; Эдвардс, Д .; Фокс, П.; Ходс, Л.; Лакхэм, Д.; Maling, K .; Парк, Д .; Рассел, С. (Март 1960 г.), Руководство программиста LISP I (PDF), Бостон, Массачусетс: Группа искусственного интеллекта, M.I.T. Вычислительный центр и Исследовательская лаборатория По состоянию на 11 мая 2010 г.
- ^ Патерсон, Майкл (1994). «Парк Дэвида Майкла Ричи (1935–1990) в память». Теоретическая информатика (PDF). 133. Оксфорд: Эльзевир. С. 187–200. ISSN 0304-3975.
- ^ а б Патерсон, М. (Март 1990 г.). «Некролог: профессор Дэвид Майкл Ричи Парк». Лондон: Спрингер. С. 299–300. Дои:10.1007 / BF01888230. ISSN 0934-5043. Архивировано из оригинал 14 июля 2011 г.
внешняя ссылка
P ≟ NP | Эта биографическая статья, относящаяся к специалист в области информатики это заглушка. Вы можете помочь Википедии расширяя это. |