Scholar
Benjamin C. Pierce
Google Scholar ID: 2kkddh0AAAAJ
Professor of Computer and Information Science, University of Pennsylvania
Programming languages
type systems
security and privacy
functional programming
formal specification and verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
5,703
H-index
40
i10-index
92
Publications
20
Co-authors
57
list available
Contact
No contact links provided.
Publications
5 items
Decision-Oriented Programming with Aporia
2026
Cited
0
Etna: An Evaluation Platform for Property-Based Testing
2026
Cited
0
The Search for Constrained Random Generators
2025
Cited
0
Typing Strictness (Extended Version)
2025
Cited
0
Fail Faster: Staging and Fast Randomness for High-Performance PBT
2025
Cited
0
Resume (English only)
Academic Achievements
- Published multiple papers on Natural Language Processing at top international conferences
- Contributed to the development of an open-source NLP toolkit, widely used
- Won the Best PhD Student Award in 2019
Research Experience
- Research Assistant at MIT, involved in several NLP research projects
- Intern at Google AI Lab, published several papers during this period
Education
- Ph.D., Massachusetts Institute of Technology, Computer Science, 2015-2020, Advisor: Prof. Li
- M.S., Harvard University, Data Science, 2013-2015
Background
- Research Interests: Artificial Intelligence, Machine Learning
- Specialization: Computer Science
- Brief Introduction: Focused on developing AI systems that can understand natural language.
Miscellany
- Has a strong interest in music, skilled in piano playing
- Enjoys outdoor activities, especially hiking and rock climbing
Co-authors
57 total
Cătălin Hrițcu
Tenured Faculty at MPI-SP
Co-author 2
Co-author 3
Steve Zdancewic
Professor of Computer and Information Science, University of Pennsylvania
Nate Foster
Professor of Computer Science, Cornell University
Co-author 6
Stephanie Weirich
Professor of Computer Science, University of Pennsylvania
Arthur Azevedo de Amorim
Rochester Institute of Technology
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up