Бенджамин С. Пирс - Benjamin C. Pierce

Бенджамин С. Пирс
Бенджамин С. Пирс
	Математические основы семантики программирования 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. Он является одним из авторов книги в свободном доступе. Основы программного обеспечения.