Write a Blog >>
Benjamin C. Pierce

Registered user since Mon 18 Jan 2016

Name:Benjamin C. Pierce

Benjamin Pierce is Henry Salvatori Professor of Computer and Information Science at the University of Pennsylvania and a Fellow of the ACM. His research interests include programming languages, type systems, language-based security, computer-assisted formal verification, differential privacy, and synchronization technologies. He is the author of the widely used graduate textbooks Types and Programming Languages and Software Foundations. He has served as co-Editor in Chief of the Journal of Functional Programming, as Managing Editor for Logical Methods in Computer Science, and as editorial board member of Mathematical Structures in Computer Science, Formal Aspects of Computing, and ACM Transactions on Programming Languages and Systems. He is also the lead designer of the popular Unison file synchronizer.

Country:United States
Affiliation:University of Pennsylvania


CPP 2020 Committee Member in Program Committee within the CPP 2020-track
Session Chair of Mechanized metatheory (part of CPP 2020)
POPL 2020 Interaction Trees: Representing Recursive and Impure Programs in Coq
Panelist in Panel within the POPLmark 15 Year Retrospective Panel-track
Organizing Committee in Organizing Committee within the POPLmark 15 Year Retrospective Panel-track
Show activities from other conferences

POPL 2020-profile
View general profile