Benjamin Pierce
Professor at University of Pennsylvania
Philadelphia, Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top SchoolBenjamin Pierce is a seasoned computer science professor at the University of Pennsylvania with over two decades of experience in academia and research. A Carnegie Mellon PhD, he combines deep theoretical knowledge with long-running service in the IFIP Working Group 2.8, where he is currently member and chair-elect, reflecting leadership in programming language and software engineering communities. Based in Philadelphia, he is known for mentoring generations of students while advancing foundational research rather than startup-style product work. His career blends rigorous scholarship with sustained professional service, signaling influence both in the classroom and in international standards and research forums.
21 years of coding experience
PhD, Computer Science, PhD, Computer Science at Carnegie Mellon University
Github Skills (75)
testing10
mathematical10
proofs10
semantics10
coq10
verification10
recursive10
unison10
property-based-testing10
cerberus10
dependent-types9
homotopy-type-theory9
agda9
proof-assistant9
virtual9
Programming languages (10)
Github contributions (5)
rems-project/cn-tutorial
Apr 2024 - Apr 2025
Contributions:23 reviews, 10 PRs, 124 pushes in 11 months
DeepSpec/dsss17
Jul 2017 - Jun 2018
Lecture material for DeepSpec Summer School 2017
Contributions:30 commits, 6 PRs, 24 pushes in 11 months
summer-schoolhomotopy-type-theorytheorem-provingdeep-learningagda
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.