Ученый-компьютерщик
Роберт Уильям Харпер-младший (родился в 1957 году [2] ) — профессор компьютерных наук в Университете Карнеги-Меллона , работающий в области исследований языков программирования . До того, как занять должность в Университете Карнеги-Меллона, Харпер был научным сотрудником в Эдинбургском университете . [3]
Карьера
Харпер внес значительный вклад в разработку стандартного языка программирования ML и логической структуры LF .
Харпер был назван членом ACM в 2005 году за его вклад в системы типов для языков программирования. В 2021 году он получил премию ACM SIGPLAN Programming Languages Achievement Award за его «основополагающий вклад в наше понимание теории типов и ее использования в проектировании, спецификации, реализации и проверке современных языков программирования». [4]
Награды
- Премия Аллена Ньюэлла за выдающиеся научные исследования, Университет Карнеги-Меллона . [6] За исследования в области типоориентированной компиляции. [9] (2001)
- Премия ACM SIGPLAN за самую влиятельную статью PLDI [10] за статью TIL: оптимизирующий компилятор с управлением по типам для ML. [11] (2006)
- Лауреат премии LICS Test-of-Time Award [12] за статью «Структура определения логики» . [13] (2007)
Книги
- Робин Милнер , Мадс Тофте , Роберт Харпер и Дэвид Маккуин. Определение стандартного ML (пересмотренное) . MIT Press, 1997.
- Роберт Харпер (редактор). Типы в компиляции . Springer-Verlag Lecture Notes in Computer Science, том 2071, 2001.
- Роберт Харпер. Системы типов для языков программирования . Черновик, 2000.
- Роберт Харпер. Программирование на стандартном ML . Рабочий черновик, 2013.
- Роберт Харпер. Практические основы языков программирования , черновик 2007 г. 2-е издание: ISBN 1107150302 , 2016 г.
Личная жизнь
В 2003–2008 годах Харпер вел прогрессивное ток-шоу Left Out на радиостанции WRCT -FM вместе с коллегой-ведущим и преподавателем Школы компьютерных наук Университета Карнеги — Меллона Дэнни Слейтором .
Ссылки
- ^ abc Роберт Харпер в проекте «Генеалогия математики»
- ^ Харпер, Роберт (2016). Практические основы языков программирования (2-е изд.). Cambridge University Press. стр. iv.
- ^ Роберт Харпер на LinkedIn
- ^ "Премия за достижения в области языков программирования". www.sigplan.org . Получено 2022-01-27 .
- ^ "SCS Faculty Awards". www.cs.cmu.edu . Архивировано из оригинала 2002-04-04 . Получено 2024-03-19 .
- ^ "Премия Аллена Ньюэлла за выдающиеся научные достижения – предыдущие победители". www.cs.cmu.edu . Архивировано из оригинала 2024-02-05 . Получено 2024-03-16 .
- ^ "Компиляция с типами" (PDF) . www.cs.cmu.edu . Получено 2024-03-16 .
- ^ Харпер, Р.; Моррисетт, Г. (январь 1995 г.). «Компиляция полиморфизма с анализом интенсиональных типов». POPL '95: Proc 22nd ACM SIGPLAN-SIGACT Symp on Principles of Programming Languages . Сан-Франциско, Калифорния, США: ACM . стр. 130–141. doi : 10.1145/199448.199475 . ISBN 978-0-89791-692-9.
- ^ Результатом исследования, за которое была присуждена эта награда , стала докторская диссертация Грега Моррисетта , написанная совместно с Харпером в качестве соруководителя [7] , статья Моррисетта и Харпера [8] и несколько других публикаций.
- ^ "Премия PLDI за самую влиятельную работу". www.sigplan.org . Получено 16.03.2024 .
- ^ Tarditi, D.; Morrisett, G .; Cheng, P.; Harper, R.; Lee, P. (май 1996 г.). «TIL: оптимизирующий компилятор с управлением типами для ML». ACM SIGPLAN Notices . 31 (5): 181–192. doi : 10.1145/249069.231414 .
- ^ "ACM/IEEE Symposium on Logic in Computer Science". Архивировано из оригинала 2024-03-13 . Получено 2024-03-16 .
- ^ Харпер, Р .; Хонселл, Ф.; Плоткин, Г.Д. (июнь 1987 г.). «Структура для определения логик». Proc Второй ежегодный симпозиум IEEE по логике в компьютерных науках (LICS 1987 г.) . Итака, Нью-Йорк : IEEE Computer Society Press . стр. 194–204.
Внешние ссылки
- Домашняя страница Роберта Харпера
- Экзистенциальный тип, блог Роберта Харпера
- Сайт Роберта Харпера xArchiv
- Страница Роберта Харпера в Google scholar page
- Идентификатор орхидеи Роберта Харпера