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 (54)
testing10
coq10
unison10
tlaplus9
proof-assistant9
agda9
cerberus9
property-based-testing9
homotopy-type-theory9
theorem-proving9
virtual8
video-chat8
semantics8
dependent-types8
bimap8
Programming languages (11)
Github contributions (5)
DeepSpec/sf
May 2020 - Nov 2022
Contributions:126 commits, 5 PRs, 47 pushes in 2 years 6 months
andrewhead/pbt-grant
Sep 2022 - Feb 2024
Contributions:305 pushes in 1 year 5 months
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.