معرفی
Benjamin Pierce is the Henry Salvatori Professor in the Department of Computer and Information Science at the University of Pennsylvania. His research spans programming languages, formal verification, and sustainable computing, with a focus on practical applications in software reliability and security. He leads initiatives like Carbon Connect (NSF Expedition in Sustainable Computing) and serves on climate-focused committees such as Penn's Faculty Senate Select Committee on the Climate Emergency.
Research Interests
Pierce's work integrates theoretical and applied computer science, emphasizing:
- Programming Languages: Type systems, language-based security, and compiler verification
- Formal Methods: Computer-assisted verification, proof automation, and property-based testing
- Sustainability: Reducing computing's environmental impact through algorithmic efficiency and policy
Recent Publications
His 2023-2025 publications demonstrate a strong focus on enhancing software testing (e.g., Tyche for property-based testing), advancing formal verification tools (e.g., Coq deautomation), and pioneering sustainable computing frameworks. Climate-related research is a growing theme.
Awards and Honors
- 2024: Distinguished Paper Award (ICSE)
- 2020: Best Paper Award (POPL)
- 2015: Most Influential Paper Award (ACM SIGPLAN)
- 2013: LICS Test of Time Award
- 2012: ACM Fellow
Advising and Grants
He advises 8 PhD students on topics ranging from type systems to verified compilation. Notable projects include:
- NSF-funded Carbon Connect expedition
- SHF grant for usable property-based testing
- Development of verification tools (VERSE, Unison)
Professional Activities
Serves on editorial boards for Journal of Functional Programming and Logical Methods in Computer Science, and organizes major conferences (PLDI, POPL, OOPSLA). Advocates for low-carbon virtual conferences.
