Холт, Ричард

Ричард Холт, также Рик Холт — американо-канадский учёный в области информатики. Окончил Корнеллский университет, там же в 1971 году защитил диссертацию по теме «Взаимная блокировка в компьютерных системах»^[2], ставшей одной из первых знаковых фундаментальных работ по теме взаимной блокировки процессов. Известен своими научными работами по операционным системам, языкам программирования, аналитике^[англ.], архитектуре и инженерии программного обеспечения^[1], соавторством в написании компиляторов и вводом для этого новых техник компиляции. В 1982 году вместе со своим аспирантом Джеймсом Корди создал язык «Тьюринг^[англ.]» на основе Паскаля и Евклида^[англ.], получивший широкое признание в Канаде как язык для обучения студентов программированию. Всего он разработал четыре операционных системы (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]. Флагманская конференция по направлению выработке репозиториев^[англ.], MSR, также была основана в 2004 году с его непосредственным участием. Большая часть бывших аспирантов Холта занимали или занимают руководящие посты и известны в научном сообществе^[1].

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