Специалист в области информатики
Роберт Уильям « Боб » Харпер-младший (род. 1957 (возраст 66–67 лет) [2] ) — профессор информатики в Университете Карнеги-Меллон , занимающийся исследованиями языков программирования . До своей должности в Карнеги-Меллоне Харпер был научным сотрудником в Эдинбургском университете . [3]
Карьера
Харпер внес большой вклад в разработку языка программирования Standard ML и логической структуры LF .
Харпер был назван членом ACM в 2005 году за его вклад в системы типов для языков программирования. В 2021 году он получил премию ACM SIGPLAN Programming Achievement Award за «основополагающий вклад в наше понимание теории типов и ее использования при проектировании, спецификации, реализации и проверке современных языков программирования». [4]
Награды
- Премия Герберта А. Саймона за выдающиеся достижения в области преподавания информатики, CMU . [5]
- Премия Аллена Ньюэлла за выдающиеся достижения в области исследований, CMU . [6] за исследование типизированной компиляции. [9] (2001)
- Награда ACM SIGPLAN Most Influential PLDI Paper, [10] за статью TIL: оптимизирующий компилятор с управлением типами для машинного обучения. [11] (2006)
- Лауреат премии LICS Test-of-Time Award [12] за статью «Структура определения логики» . [13] (2007)
Книги
- Робин Милнер , Мэдс Тофте , Роберт Харпер и Дэвид Маккуин. Определение стандарта ОД (пересмотренного) . Массачусетский технологический институт Пресс, 1997.
- Роберт Харпер (редактор). Типы в компиляции . Конспекты лекций Springer-Verlag по информатике, том 2071, 2001 г.
- Роберт Харпер. Системы типов для языков программирования . Проект, 2000.
- Роберт Харпер. Программирование в стандартном ML . Рабочий проект, 2013 г.
- Роберт Харпер. Практические основы языков программирования , проект 2007 г. 2-е издание: ISBN 1107150302 , 2016 г.
Личная жизнь
В 2003–2008 годах Харпер вел прогрессивное ток-шоу Left Out на WRCT -FM вместе с другим ведущим и преподавателем Школы компьютерных наук Университета Карнеги-Меллона Дэнни Слиатором .
Рекомендации
- ^ abc Роберт Харпер в проекте математической генеалогии
- ^ Харпер, Роберт (2016). Практические основы языков программирования (2-е изд.). Издательство Кембриджского университета. п. iv.
- ^ Роберт Харпер на LinkedIn
- ^ «Награда за достижения в области языков программирования» . www.sigplan.org . Проверено 27 января 2022 г.
- ^ "Награды факультета SCS" . www.cs.cmu.edu . Архивировано из оригинала 4 апреля 2002 г. Проверено 19 марта 2024 г.
- ^ «Премия Аллена Ньюэлла за выдающиеся достижения в области исследований - предыдущие победители» . www.cs.cmu.edu . Архивировано из оригинала 5 февраля 2024 г. Проверено 16 марта 2024 г.
- ^ «Компиляция с типами» (PDF) . www.cs.cmu.edu . Проверено 16 марта 2024 г.
- ^ Харпер, Р .; Моррисетт, Г. (январь 1995 г.). «Компиляция полиморфизма с помощью анализа интенсионального типа». POPL '95: Материалы 22-го симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования . Сан-Франциско, Калифорния, США: ACM . стр. 130–141. дои : 10.1145/199448.199475 . ISBN 978-0-89791-692-9.
- ↑ В результате исследования, за которое была присуждена эта награда, Грег Моррисетт получил докторскую степень. диссертация под руководством Харпера [7] , статья Моррисетта и Харпера [8] и несколько других публикаций.
- ^ «Самая влиятельная награда PLDI Paper». www.sigplan.org . Проверено 16 марта 2024 г.
- ^ Тардити, Д.; Моррисетт, Дж .; Ченг, П.; Харпер, Р.; Ли, П. (май 1996 г.). «TIL: оптимизирующий компилятор с управлением типами для машинного обучения». Уведомления ACM SIGPLAN . 31 (5): 181–192. дои : 10.1145/249069.231414 .
- ^ «Симпозиум ACM/IEEE по логике в информатике». Архивировано из оригинала 13 марта 2024 г. Проверено 16 марта 2024 г.
- ^ Харпер, Р .; Хонселл, Ф.; Плоткин, Г.Д. (июнь 1987 г.). «Структура определения логики». Материалы второго ежегодного симпозиума IEEE по логике в информатике (LICS, 1987) . Итака, Нью-Йорк : Издательство IEEE Computer Society Press . стр. 194–204.
Внешние ссылки
- Домашняя страница Роберта Харпера
- Экзистенциальный тип, блог Роберта Харпера
- Сайт xArchiv Роберта Харпера
- Страница ученого Google Роберта Харпера
- Идентификатор орхидеи Роберта Харпера