Холт, Ричард
Ричард Холт, также Рик Холт — американо-канадский учёный в области информатики. Окончил Корнеллский университет, там же в 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].
Ричард Крейг Холт | |
---|---|
Richard Craig Holt | |
Дата рождения | 13 февраля 1941(1941-02-13) |
Место рождения | |
Дата смерти | 12 апреля 2019(2019-04-12) (78 лет) |
Страна | |
Место работы |
Торонтский университет (1970-1997) Университет Уотерлу (1997-2014) |
Альма-матер | Корнеллский университет |
Учёная степень | доктор философии (PhD) |
Научный руководитель | Alan Cary Shaw |
Ученики |
Джеймс Корди (англ. James Cordy) (1986) Майкл Годфри (1997) Ахмед Хассан (2005) Абрам Хиндл (2010) |
Награды и премии | OS-CAN/INFO-CAN Lifetime Achievement Award (2017)[1] |
Ричард Холт входил в список самых плодовитых учёных по версии DBLP как соавтор 138 индексированных статей[3]. Флагманская конференция по направлению выработке репозиториев[en], MSR, также была основана в 2004 году с его непосредственным участием. Большая часть бывших аспирантов Холта занимали или занимают руководящие посты и известны в научном сообществе[1].
Скончался Ричард Холт 12 апреля 2019 года[4]. В 2020 году конференция по выработке репозиториев объявила о премии имени Рика Холта, выдаваемой за молодым учёным, успевшим внести заметный вклад в исследования в этой области; первая премия была вручена Эмаду Шихабу[5].
ИсточникиПравить
- ↑ 1 2 3 4 5 Lifetime Achievement Awards | 2017 : Richard C. Holt
- ↑ Richard Holt на Mathematics Genealogy Project.
- ↑ Richard C. Holt в DBLP.
- ↑ Richard Craig Holt Obituary (неопр.). Дата обращения: 18 апреля 2019. Архивировано из оригинала 18 апреля 2019 года.
- ↑ Mining Software Repositories Awards 2020.