АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыСпецпроектыСтать автором
Сменить язык
О РУВИКИ

Тёрнер, Дэвид

Дэ́вид А́лан Тёрнер (англ. David Turner, род. 1946)[3] — английский учёный в области компьютерных наук и информатики. Эмерит-профессор Кентского университета[4] и бывший профессор-исследователь Университета Мидлсекса (2002—2006)[3]. Наиболее известен своими изобретениями и разработками в области науки о вычислениях:

Общие сведения
Дэвид Тёрнер
Дата рождения 1946[1]
Страна
Образование
Род деятельности специалист в области информатики

Биография

Дэвид А. Тёрнер родился 26 января 1946 года в районе Баттерси (Лондон) в семье еврейских иммигрантов[3]. Получил образование в Оксфордском университете, где изначально изучал физику, а затем, в 1981 году, получил степень доктора философии (DPhil) по математике[3][4].

С 1972 по 1976 год работал лектором в Сент-Эндрюсском университете[3][4]. Большую часть своей академической карьеры, с 1978 по 1997 год, провёл в Кентском университете, где стал профессором, а после выхода на пенсию получил звание эмерит-профессора[3][4] С 2002 по 2006 год занимал должность профессора-исследователя в Университете Мидлсекса.[3]

В 1970 году женился на Уне Уильямс, в браке родилось трое детей. Скончался 19 октября 2023 года.[3]

Научная деятельность

В 1979 году Дэвид Тёрнер опубликовал статью, в которой описал изобретённую им технику комбинаторной редукции графов, ставшую важным методом реализации ленивых вычислений.[5].

Тёрнер разработал серию чисто функциональных языков программирования: SASL (1972), KRC (1981) и Miranda (1985)[6]. Язык Miranda оказал значительное влияние на разработку Haskell[6]. В январе 2020 года Тёрнер выпустил версию Miranda с открытым исходным кодом под лицензией BSD, совместимую с 64-битными системами[7].

Учёный также принимал активное участие в деятельности Международной федерации по обработке информации (IFIP), являясь членом рабочей группы 2.8 по функциональному программированию[3].

Признание

Дэвид Тёрнер являлся пожизненным членом (англ. Life Fellow) Британского компьютерного общества (BCS) и Королевского общества искусств (RSA)[4].

Примечания

  1. ↑ David Turner (computer scientist) // SNAC (англ.) — 2010.
  2. ↑ Mathematics Genealogy Project (англ.) — 1997.
  3. ↑ 1 2 3 4 5 6 7 8 9 David Turner obituary. The Guardian (24 ноября 2023). Дата обращения: 25 марта 2026.
  4. ↑ 1 2 3 4 5 David Turner. University of Kent. Дата обращения: 25 марта 2026.
  5. ↑ Functional Programming: Past, Present, and Future. University of Kent (27 сентября 2012). Дата обращения: 25 марта 2026.
  6. ↑ 1 2 The Miranda System. University of Kent. Дата обращения: 25 марта 2026.
  7. ↑ Miranda System Downloads. University of Kent (31 января 2020). Дата обращения: 25 марта 2026.

Категории