ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 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.

Affiliation: University of Pennsylvania

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

Contributions

ECOOP 2020Committee Member in External Review Committee within the Research Papers-track
SPLASH 2020Author of Testing Differential Privacy with Dual Interpreters within the OOPSLA-track
Mentor in Mentors within the PLMW-track
Author of Testing Differential Privacy with Dual Interpreters within the OOPSLA Artifacts-track
Committee Member in External Review Committee within the OOPSLA-track
Committee Member in Onward! Steering Committee within the Onward! Essays-track
Committee Member in Steering Committee
Committee Member in Onward! Steering Committee within the Onward! Papers-track
Show activities from other conferences

Using general profile