ICFP 2021
Sun 22 - Sat 28 August 2021
Tue 24 Aug 2021 06:30 - 07:00 at Social - Ask Me Anything Chair(s): Michael Hicks

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.

Tue 24 Aug

Displayed time zone: Seoul change

06:30 - 07:00
Ask Me AnythingSocial Events at Social
Chair(s): Michael Hicks University of Maryland at College Park
Live Q&A
Ask Me Anything on Climate Change with Benjamin Pierce
Social Events
Benjamin C. Pierce University of Pennsylvania