PeopleofSuperintelligence

Researcher

Benjamin C. Pierce

Also known as B. C. Pierce, B. Pierce, B.C. Pierce, BENJAMIN PIERCE

Benjamin C. Pierce is a programming-languages researcher whose work on type systems, software verification, and probabilistic programming connects with AI. He earned a computer-science doctorate at Carnegie Mellon in 1991 and joined Penn from Indiana University in 1998; his career also included research positions at Cambridge and Edinburgh. His 2002 textbook Types and Programming Languages offered an introduction to type systems and programming-language theory, and he became an ACM Fellow in 2012. A paper he coauthored received the 2015 Most Influential POPL Paper Award, and his 2025 property-based testing work connected with probabilistic programming; as of October 2026, he is Henry Salvatori Professor of Computer and Information Science at Penn.

Works
359
Citations
16,100
h-index
62

Publication numbers from OpenAlex, as of 15 October 2026.

Timeline

  1. 1991

    A doctorate in type theory

    He earns a computer-science doctorate at Carnegie Mellon in 1991 with a dissertation on intersection types and bounded polymorphism.

  2. 1998

    Moving from Indiana to Penn

    He joins Penn from Indiana University in 1998, after research positions at Cambridge and Edinburgh.

  3. 2002

    Types and Programming Languages

    He publishes Types and Programming Languages in 2002, a comprehensive introduction to type systems and programming-language theory.

  4. 2012

    Named an ACM Fellow

    He becomes an ACM Fellow in 2012.

  5. 2015

    Most Influential POPL Paper Award

    With four coauthors, he receives the 2015 Most Influential POPL Paper Award for their 2005 paper, Combinators for Bidirectional Tree Transformations: A Linguistic Approach to the View Update Problem.

  6. 2017–2018

    Property-based testing with QuickChick

    In 2017, he presents a DeepSpec lecture on property-based random testing with QuickChick. In August 2018, he coauthors QuickChick: Property-Based Testing in Coq, volume 4 of Software Foundations.

  7. 2025

    Probabilistic programming for testing

    In October 2025, he and five coauthors publish Tuning Random Generators: Property-Based Testing as Probabilistic Programming, which lists automatic differentiation among its keywords.

  8. As of October 2026

    Professor at Penn

    As of October 2026, he is Henry Salvatori Professor of Computer and Information Science at the University of Pennsylvania.

Sources and credits

Photo: We have no published photo of Benjamin C. Pierce yet. Send us a free-licensed photo.

  1. Benjamin Pierce - The Mathematics Genealogy Project mathgenealogy.org. Checked 15 October 2026.
  2. Benjamin C. Pierce en.wikipedia.org. Checked 15 October 2026.
  3. Types and Programming Languages by Benjamin C. Pierce penguinrandomhouse.com. Checked 15 October 2026.
  4. ACM Fellows from the Programming Language Research Community sigplan-pages.sigplan.hosting.acm.org. Checked 15 October 2026.
  5. Most Influential POPL Paper Award sigplan.org. Checked 15 October 2026.
  6. Property-based random testing with QuickChick deepspec.org. Checked 15 October 2026.
  7. Benjamin Pierce's Publications cis.upenn.edu. Checked 15 October 2026.
  8. Benjamin Pierce cis.upenn.edu. Checked 15 October 2026.
  9. Benjamin C. Pierce - SPLASH 2026 2026.splashcon.org. Checked 15 October 2026.