Бенджамин С. Пирс
Бенджамин С. Пирс | |
|---|---|
 Математические основы семантики программирования 24 (Филадельфия, май 2008 г.) | |
| Альма-матер | Университет Карнеги Меллон |
| Известный | Типы и языки программирования |
| Научная карьера | |
| Тезис | Программирование с типами пересечений и ограниченным полиморфизмом (1991) |
| Докторантура | Роберт Харпер Джон К. Рейнольдс |
Бенджамин Кроуфорд Пирс — профессор Генри Сальватори. [1] факультет компьютерных наук в Пенсильванском университете . Пирс пришел в Пенсильванский университет в 1998 году из Университета Индианы и занимал исследовательские должности в Кембриджском и Эдинбургском университетах . Он получил докторскую степень. из Университета Карнеги-Меллона в 1991 году. Его исследования включают работу над языками программирования , системами статического типа , распределенным программированием , мобильными агентами , исчислением процессов и дифференциальной конфиденциальностью .
В рамках своих исследований Пирс руководил разработкой нескольких проектов программного обеспечения с открытым исходным кодом Unison , включая утилиту синхронизации файлов .
В 2012 году Пирс стал членом ACM. [2] за «вклад в теорию и практику языков программирования и их систем типов». В 2015 году Пирс и соавторы получили награду за самую влиятельную «Принципы языков программирования» . статью [3] который был описан как «способствующий привлечению внимания сообщества языков программирования к проблеме обновления представлений и демонстрации широкой актуальности этой проблемы за пределами баз данных . [...] В более широком смысле, документ вызвал большое количество последующих работа в области BX (« двунаправленные преобразования »), ведущая к плодотворному сотрудничеству между мирами баз данных, языков программирования и разработки программного обеспечения ».
Книги [ править ]
Он является автором одной книги о системах типов , типах и языках программирования. ISBN 0-262-16209-1 . Он также отредактировал сборник статей для создания второго тома « Продвинутые темы по типам и языкам программирования». ISBN 0-262-16228-8 . На основе заметок, которые он собрал во время изучения теории категорий во время работы над докторской диссертацией, он также опубликовал вводную книгу по этой теме — « Базовая теория категорий для компьютерных ученых» . ISBN 0-262-66071-7 . Он является одним из авторов свободно распространяемой книги Software Foundations .
См. также [ править ]
Ссылки [ править ]
- ^ «Бенджамин С. Пирс» .
- ^ «Бенджамин Пирс» . Награды.acm.org . Проверено 10 сентября 2019 г.
- ^ «Самая влиятельная награда POPL Paper» . www.sigplan.org . Проверено 10 сентября 2019 г.
Внешние ссылки [ править ]
- Домашняя страница профессора Пирса
- Бенджамин К. Пирс на DBLP библиографическом сервере
- Бенджамин К. Пирс в проекте «Математическая генеалогия»
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
 | Эта биографическая статья о компьютерном специалисте незавершена . Вы можете помочь Википедии, расширив ее . |