Холт, Ричард

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Ричард Крейг Холт
Richard Craig Holt
Дата рождения 13 февраля 1941(1941-02-13)
Место рождения
Дата смерти 12 апреля 2019(2019-04-12) (78 лет)
Страна
Место работы Торонтский университет (1970-1997)
Университет Уотерлу (1997-2014)
Альма-матер Корнеллский университет
Учёная степень
Научный руководитель Alan Cary Shaw
Ученики Джеймс Корди (англ. James Cordy) (1986)
Майкл Годфри (1997)
Ахмед Хассан (2005)
Абрам Хиндл (2010)
Награды и премии OS-CAN/INFO-CAN Lifetime Achievement Award (2017)[1]

Ричард Холт, также Рик Холт — американо-канадский учёный в области информатики. Окончил Корнеллский университет, там же в 1971 году защитил диссертацию по теме «Взаимная блокировка в компьютерных системах»[2], ставшей одной из первых знаковых фундаментальных работ по теме взаимной блокировки процессов. Известен своими научными работами по операционным системам, языкам программирования, аналитике[en], архитектуре и инженерии программного обеспечения[1], соавторством в написании компиляторов и вводом для этого новых техник компиляции. В 1982 году вместе со своим аспирантом Джеймсом Корди создал язык «Тьюринг[en]» на основе Паскаля и Евклида[en], получивший широкое признание в Канаде как язык для обучения студентов программированию. Всего он разработал четыре операционных системы (SUE, Tunis, Secure Tunis, HECTOR) и пять языков программирования (SP/k, Concurrent Euclid, Turing, TuringPlus, OOT)[1]. Также в отличие от чисто академических коллег Холт плотно сотрудничал с индустрией, работая с такими компаниями, как IBM, Sun Microsystems, Nortel Networks, CA Technologies, а также управляя своей собственной фирмой «Holt Software Associates»[1].

Ричард Холт входил в список самых плодовитых учёных по версии DBLP как соавтор 138 индексированных статей[3]. Флагманская конференция по направлению выработке репозиториев[en], MSR, также была основана в 2004 году с его непосредственным участием. Большая часть бывших аспирантов Холта занимали или занимают руководящие посты и известны в научном сообществе[1].

Скончался Ричард Холт 12 апреля 2019 года[4]. В 2020 году конференция по выработке репозиториев объявила о премии имени Рика Холта, выдаваемой за молодым учёным, успевшим внести заметный вклад в исследования в этой области; первая премия была вручена Эмаду Шихабу[5].

Источники[править | править код]

  1. 1 2 3 4 5 Lifetime Achievement Awards | 2017 : Richard C. Holt. Дата обращения: 16 апреля 2019. Архивировано 16 апреля 2019 года.
  2. Richard Holt Архивная копия от 9 августа 2018 на Wayback Machine на Mathematics Genealogy Project.
  3. Richard C. Holt Архивная копия от 16 апреля 2019 на Wayback Machine в DBLP.
  4. Richard Craig Holt Obituary. Дата обращения: 18 апреля 2019. Архивировано из оригинала 18 апреля 2019 года.
  5. Mining Software Repositories Awards 2020 Архивная копия от 26 марта 2020 на Wayback Machine.