Benjamin C. Pierce

Benjamin C. Pierce is the Henry Salvatori Professor of Computer and Information Science at the University of Pennsylvania. He is a Fellow of the ACM and lead designer of the Unison file synchronizer. His research spans programming languages, type systems, security, formal verification, differential privacy, and synchronization technologies.

He has authored influential textbooks including Types and Programming Languages and Software Foundations, and has held editorial positions at Journal of Functional Programming, Logical Methods in Computer Science, and ACM TOPLAS.

Professor Pierce is active in programming language communities, serving on committees for POPL, ICFP, PLDI and co-developing the Clowdr virtual conference platform.

Scientific Awards:

• ACM Fellow