Бенджамин Кроуфорд Пирс — профессор информатики имени Генри Сальватори [ 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 . Он является одним из авторов бесплатной книги «Основы программного обеспечения».