Холт, Ричард
Ричард Холт, также Рик Холт(13 февраля 1941, Торонто, Канада — 14 апреля 2019) — американо-канадский учёный[2] в области информатики. Окончил Корнеллский университет, там же в 1971 году защитил диссертацию по теме «Взаимная блокировка в компьютерных системах»[3], ставшей одной из первых знаковых фундаментальных работ по теме взаимной блокировки процессов. В 1982 году вместе со своим аспирантом Джеймсом Корди создал язык «Тьюринг» на основе Паскаля и Евклида, получивший широкое признание в Канаде как язык для обучения студентов программированию.
Общие сведения
| Ричард Крейг Холт | |
|---|---|
| Richard Craig Holt | |
| Дата рождения | 13 февраля 1941 |
| Место рождения | Бартлсвилл, Оклахома, США |
| Дата смерти | 12 апреля 2019 (78 лет) |
| Страна | |
| Место работы |
Торонтский университет (1970-1997) Университет Уотерлу (1997-2014) |
| Образование | |
| Учёная степень | доктор философии (PhD) |
| Научный руководитель | Alan Cary Shaw |
| Ученики |
Джеймс Корди (1986) Майкл Годфри (1997) Ахмед Хассан (2005) Абрам Хиндл (2010) |
| Награды и премии | OS-CAN/INFO-CAN Lifetime Achievement Award (2017)[1] |
Биография
Ричард Крейг Холт родился 13 февраля 1941 года в городе Бартлсвилл (штат Оклахома, США). В 1964 году он окончил Корнеллский университет, получив степень бакалавра. После этого Холт в течение года работал в Корпусе мира в Нигерии, а затем недолгое время — в компании IBM. Вскоре он вернулся в Корнеллский университет, где в 1971 году получил степень PhD[2].
В декабре 1970 года Холт начал работать профессором в Университете Торонто, где преподавал до 1997 года[2]. В 1997 году он перешёл в Университет Уотерлу, где продолжил свою научную и преподавательскую деятельность вплоть до выхода на пенсию в 2014 году[2]. Скончался Ричард Холт 12 апреля 2019 года[4].
Научная деятельность
В области операционных систем Ричард Холт провёл фундаментальную работу по формализации понятия взаимоблокировки (deadlocks) в компьютерных системах[1]. Предложенная им модель графа ресурсов для анализа состояний системы позволила разработать эффективные алгоритмы для обнаружения и предотвращения взаимоблокировок.
В 1982 году вместе со своим аспирантом Джеймсом Корди Холт создал язык «Тьюринг», предназначенный в первую очередь для обучения программированию в старших классах школ и на первых курсах университетов[1]. Всего он разработал четыре операционных системы (SUE, Tunis, Secure Tunis, HECTOR) и пять языков программирования (SP/k, Concurrent Euclid, Turing, TuringPlus, OOT)[1]. Также в отличие от чисто академических коллег Холт плотно сотрудничал с индустрией, работая с такими компаниями, как IBM, Sun Microsystems, Nortel Networks, CA Technologies, а также управляя своей собственной фирмой «Holt Software Associates»[1].
Значительный вклад учёный внёс в аналитику и архитектуру программного обеспечения. Он стал соавтором концепции «программных ландшафтов» — визуального формализма для представления и навигации по архитектуре крупных программных систем, а также участвовал в разработке инструментария PBS/SWAG-kit для её извлечения, анализа и визуализации[1]. Ричард Холт входил в список самых плодовитых учёных по версии DBLP как соавтор 138 индексированных статей[5]. Флагманская конференция по направлению выработке репозиториев, MSR, также была основана в 2004 году с его непосредственным участием[1]. Большая часть бывших аспирантов Холта занимали или занимают руководящие посты и известны в научном сообществе[1].
Помимо исследовательской работы, Ричард Холт выступил автором и соавтором 16 книг по информатике, программированию и операционным системам[1].
Награды и признание
В 2017 году Ричард Холт получил премию за жизненные достижения (Lifetime Achievement Award) от организации CS-Can/Info-Can[2]. В 2020 году была учреждена премия имени Рика Холта (Ric Holt Early Career Achievement Award), которая присуждается сообществом Mining Software Repositories (MSR) молодым учёным за выдающийся вклад в анализ репозиториев программного обеспечения; первая премия была вручена Эмаду Шихабу[6].