About
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
Find Benjamin C. Pierce elsewhere
Related Searches
You Might Also Like
Benjamin C. PierceNational and Kapodistrian University of Athens · Professor
Benjamin C. PierceMax Planck Institute for Software Systems · Professor
Benjamin C. PierceUniversity of Pennsylvania · Professor
Benjamin PierceUniversity of Pennsylvania · Professor
Benjamin C. PierceBrown University · Professor
Andrew MyersIMDEA Software Institute · Professor