World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
70
Citations
24818
World Ranking
1843
National Ranking
939

Research.com Recognitions

  • 2012 - ACM Fellow For contributions to the theory and practice of programming languages and their type systems.

Overview

Benjamin C. Pierce is affiliated with the University of Pennsylvania in the United States. Their research contributions primarily fall within the field of Computer Science, with a concentration in Artificial Intelligence, Software, Computer Networks and Communications, Computational Theory and Mathematics, and Information Systems.

The scientist has published extensively on a variety of topics, including Software Testing and Debugging Techniques, Logic, Programming, and Type Systems, Security and Verification in Computing, Formal Methods in Verification, Software Engineering Research, Emergency and Acute Care Studies, and Innovative Teaching and Learning Methods.

Their recent papers include:

  • C4: verified transactional objects, 2022, Proceedings of the ACM on Programming Languages
  • Verifying an HTTP Key-Value Server with Interaction Trees and VST, 2021, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Testing differential privacy with dual interpreters, 2020, Proceedings of the ACM on Programming Languages
  • Parsing randomness, 2022, Proceedings of the ACM on Programming Languages
  • Guideline adherence in febrile children below 3 months visiting European Emergency Departments: an observational multicenter study, 2022, European Journal of Pediatrics

Frequent coauthors include Harrison Goldstein, Federico Martinón-Torres, Leonidas Lampropoulos, Jethro Herberg, and Michael Levin.

The scientist's work has appeared in multiple publication venues, with the most frequent being arXiv (Cornell University), Proceedings of the ACM on Programming Languages, European Journal of Pediatrics, Leibniz-Zentrum für Informatik (Schloss Dagstuhl), and the CHI Conference on Human Factors in Computing Systems Extended Abstracts.

Among their recognitions, Benjamin C. Pierce was named an ACM Fellow in 2012 for contributions to the theory and practice of programming languages and their type systems.

Best Publications

  • Types and Programming Languages

    Benjamin C. Pierce

  • Featherweight Java: a minimal core calculus for Java and GJ

    Atsushi Igarashi;Benjamin C. Pierce;Philip Wadler

  • Typing and subtyping for mobile processes

    Benjamin C. Pierce;Davide Sangiorgi

  • Local type inference

    Benjamin C. Pierce;David N. Turner

  • Linearity and the pi-calculus

    Naoki Kobayashi;Benjamin C. Pierce;David N. Turner

  • Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem

    J. Nathan Foster;Michael B. Greenwald;Jonathan T. Moore;Benjamin C. Pierce

  • Basic Category Theory for Computer Scientists

    Benjamin C. Pierce

  • Pict: a programming language based on the Pi-Calculus

    Benjamin C. Pierce;David N. Turner

  • Dynamic typing in a statically typed language

    Martín Abadi;Luca Cardelli;Benjamin Pierce;Gordon Plotkin

  • Comparing object encodings

    Kim B. Bruce;Luca Cardelli;Benjamin C. Pierce

  • Regular expression types for XML

    Haruo Hosoya;Jérôme Vouillon;Benjamin C. Pierce

  • Bounded Quantification Is Undecidable

    Benjamin C. Pierce

  • XDuce: A statically typed XML processing language

    Haruo Hosoya;Benjamin C. Pierce

  • Mechanized metatheory for the masses: the PoplMark challenge

    Brian E. Aydemir;Aaron Bohannon;Matthew Fairbairn;J. Nathan Foster

  • On binary methods

    Kim Bruce;Luca Cardelli;Giuseppe Castagna;Gary T. Leavens

  • Differential Privacy: An Economic Method for Choosing Epsilon

    Justin Hsu;Marco Gaboardi;Andreas Haeberlen;Sanjeev Khanna

  • XDuce : A typed XML processing language (preliminary report)

    Haruo Hosoya;Benjamin C. Pierce

  • Regular expression pattern matching for XML

    Haruo Hosoya;Benjamin C. Pierce

  • Advanced Topics in Types and Programming Languages

    Benjamin C. Pierce

  • Simple type-theoretic foundations for object-oriented programming

    Benjamin C. Pierce;David N. Turner

  • Combinators for bi-directional tree transformations: a linguistic approach to the view update problem

    J. Nathan Foster;Michael B. Greenwald;Jonathan T. Moore;Benjamin C. Pierce

Frequent Co-Authors

Steve Zdancewic
Steve Zdancewic University of Pennsylvania
Stephanie Weirich
Stephanie Weirich University of Pennsylvania
Andreas Haeberlen
Andreas Haeberlen University of Pennsylvania
Martin Hofmann
Martin Hofmann Ludwig-Maximilians-Universität München
André DeHon
André DeHon University of Pennsylvania
David Walker
David Walker Princeton University
John Hughes
John Hughes Chalmers University of Technology
Luca Cardelli
Luca Cardelli University of Oxford
Jonathan M. Smith
Jonathan M. Smith University of Pennsylvania
Naoki Kobayashi
Naoki Kobayashi University of Tokyo

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degree options is a practical path for students interested in computer science careers. Many learners start with the easiest associate degree to get online, which can provide essential tech skills and a fast track to entry-level jobs. Those seeking to minimize costs should also consider programs from affordable graduate schools for master’s degrees in computer science or related fields.

For professionals looking to advance into leadership, a phd in leadership and management online can open doors to executive and academic roles, blending tech skills with business expertise. Those interested in educational technology or administration may find cheap online edd programs to be a strategic option.

Whether you are starting your journey or preparing for career advancement, these online degrees offer flexibility and affordability. They can help you gain relevant skills, improve your job prospects, and shape your career in the evolving tech landscape.

Best Scientists Citing Benjamin C. Pierce

Trending Scientists

Recently Published Articles