Роберт Харпер (ученый-компьютерщик)

Роберт Харпер
Роберт Харпер
	Роберт Харпер в 2006 году
Рожденный	Роберт Уильям Харпер-младший ; 15 июля 1957 г. (66 лет)
Другие имена	Боб Харпер
Образование	магистр наук; Корнельский университет (1983) ; ПД; Корнельский университет (1985) ;
Известный	Стандартный ML ; Логическая структура НЧ ; Теория типов ; Функциональное программирование ;
Награды	Сотрудник ACM , 2005 г. ; Самый влиятельный документ по PLDI ACM SIGPLAN, 2006 г. ; Премия LICS "Испытание временем", 2007 г. ; Премия ACM SIGPLAN Prog Lang за достижения, 2021 г. ;
	Научная карьера
Поля	Информатика
Учреждения	Эдинбургский университет ; Карнеги Меллон ;
Докторанты	Бенджамин Пирс ; Грег Моррисетт ; Том Мерфи ;
Веб-сайт	www .cs .cmu .edu /~rwh /

Роберт Уильям « Боб » Харпер-младший (1957 г.р. (66–67 лет) ^[2]) — профессор информатики в Университете Карнеги-Меллона , занимающийся исследованиями языков программирования . До своей должности в Карнеги-Меллоне Харпер был научным сотрудником в Эдинбургском университете . ^[3]

Карьера [ править ]

Харпер внес большой вклад в разработку языка программирования Standard ML и логической структуры LF .

Харпер был назван членом ACM в 2005 году за его вклад в системы типов для языков программирования. В 2021 году он получил премию ACM SIGPLAN Programming Achievement Award за «фундаментальный вклад в наше понимание теории типов и ее использования при проектировании, спецификации, реализации и проверке современных языков программирования». ^[4]

Награды [ править ]

Премия Герберта А. Саймона за выдающиеся достижения в области преподавания информатики, CMU . ^[5]

Премия Аллена Ньюэлла за выдающиеся достижения в области исследований, CMU . ^[6] за исследования по типизированной компиляции. ^[9] (2001)

Член ACM за вклад в развитие систем типов . (2005)

Премия ACM SIGPLAN за самую влиятельную бумагу PLDI, ^[10] для статьи TIL: типизированный оптимизирующий компилятор для ML. ^[11] (2006)

Лауреат премии LICS «Испытание временем», ^[12] для статьи «Структура определения логики» . ^[13] (2007)

Премия ACM SIGPLAN за достижения в области языков программирования за фундаментальный вклад в теорию типов и ее использование. ^[14] (2021)

Книги [ править ]

Робин Милнер , Мэдс Тофте , Роберт Харпер и Дэвид Маккуин. Определение стандарта ОД (пересмотренного) . Массачусетский технологический институт Пресс, 1997.
Роберт Харпер (редактор). Типы в компиляции . Конспекты лекций Springer-Verlag по информатике, том 2071, 2001 г.
Роберт Харпер. Системы типов для языков программирования . Проект, 2000.
Роберт Харпер. Программирование в стандартном ML . Рабочий проект, 2013 г.
Роберт Харпер. Практические основы языков программирования , проект 2007 г. 2-е издание: ISBN 1107150302 , 2016 г.

Личная жизнь [ править ]

В 2003–2008 годах Харпер вел прогрессивное ток-шоу Left Out на WRCT -FM вместе с другим ведущим и Университета Карнеги-Меллона преподавателем Школы компьютерных наук Дэнни Слиатором .

Ссылки [ править ]

^ Перейти обратно: ^а ^б ^с Роберт Харпер в проекте «Математическая генеалогия»
^ Харпер, Роберт (2016). Практические основы языков программирования (2-е изд.). Издательство Кембриджского университета. п. iv.
^ Роберт Харпер на LinkedIn
^ «Награда за достижения в области языков программирования» . www.sigplan.org . Проверено 27 января 2022 г.
^ «Награды факультета СКС» . 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.
^ «Награда за достижения в области языков программирования» . www.sigplan.org . Архивировано из оригинала 8 декабря 2023 г. Проверено 16 марта 2024 г.

Внешние ссылки [ править ]

П ≟ НП

Эта биографическая статья, посвященная ученому-компьютерщику незавершена , . Вы можете помочь Википедии, расширив ее .

[mathgene-1] Перейти обратно: ^а ^б ^с Роберт Харпер в проекте «Математическая генеалогия»

[2] Харпер, Роберт (2016). Практические основы языков программирования (2-е изд.). Издательство Кембриджского университета. п. iv.

[3] Роберт Харпер на LinkedIn

[4] «Награда за достижения в области языков программирования» . www.sigplan.org . Проверено 27 января 2022 г.

[5] «Награды факультета СКС» . www.cs.cmu.edu . Архивировано из оригинала 4 апреля 2002 г. Проверено 19 марта 2024 г.

[6] «Премия Аллена Ньюэлла за выдающиеся достижения в области исследований – предыдущие победители» . www.cs.cmu.edu . Архивировано из оригинала 5 февраля 2024 г. Проверено 16 марта 2024 г.

[7] «Компиляция с использованием типов» (PDF) . www.cs.cmu.edu . Проверено 16 марта 2024 г.

[8] Харпер, Р .; Моррисетт, Г. (январь 1995 г.). «Компиляция полиморфизма с помощью анализа интенсионального типа». POPL '95: Материалы 22-го симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования . Сан-Франциско, Калифорния, США: ACM . стр. 130–141. дои : 10.1145/199448.199475 . ISBN 978-0-89791-692-9 .

[9] Исследование В результате вручения этой награды Грег Моррисетт получил докторскую степень. диссертацию под руководством Харпера, ^[7] статья Моррисетта и Харпера, ^[8] и ряд других публикаций.

[10] «Самая влиятельная награда PLDI Paper» . www.sigplan.org . Проверено 16 марта 2024 г.

[TILaType-11] Тардити, Д.; Моррисетт, Дж .; Ченг, П.; Харпер, Р.; Ли, П. (май 1996 г.). «TIL: оптимизирующий компилятор с управлением по типам для машинного обучения» . Уведомления ACM SIGPLAN . 31 (5): 181–192. дои : 10.1145/249069.231414 .

[12] «Симпозиум ACM/IEEE по логике в информатике» . Архивировано из оригинала 13 марта 2024 г. Проверено 16 марта 2024 г.

[13] Харпер, Р .; Хонселл, Ф.; Плоткин, Г.Д. (июнь 1987 г.). «Структура определения логики» . Материалы второго ежегодного симпозиума IEEE по логике в информатике (LICS, 1987) . Итака, Нью-Йорк : Издательство IEEE Computer Society Press . стр. 194–204.

[14] «Награда за достижения в области языков программирования» . www.sigplan.org . Архивировано из оригинала 8 декабря 2023 г. Проверено 16 марта 2024 г.

[1]

[2]

[3]

[4]

[5]

[6]

[9]

[10]

[11]

[12]

[13]

[14]

[7]

[8]

Базы данных авторитетного контроля
Международный	БЫСТРЫЙ ЯВЛЯЮТСЯ ВИАФ 2 WorldCat
Национальный	Франция Данные БНФ Германия Израиль Соединенные Штаты 2 Чешская Республика Нидерланды
академики	Ассоциация вычислительной техники ДБЛП MathSciNet Проект математической генеалогии ОРЦИД zbMATH
Другой	НАРА ИдРеф