Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Benjamin C. Pierce

Registered user since Mon 18 Jan 2016

Name: Benjamin C. Pierce

Bio: 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 and co-developer of the Clowdr virtual conference platform.

Country: United States

Affiliation: University of Pennsylvania

Personal website: http://www.cis.upenn.edu/~bcpierce/

Contributions

PLMW @ ICFP 2020Panelist of Panel discussion: Making a career in PL (even in uncertain times) within the PLMW @ ICFP 2020-track
ICFP 2020Author in Steering Committee
Author of How to Use Clowdr at ICFP within the Social Events-track
Committee Member in Virtualization Committee
Organizer of Virtualization Feedback within the Social Events-track
Author of Clowdr Training Sessions within the Clowdr Training-track
Show activities from other conferences

ICFP 2020-profile
View general profile