Benjamin Pierce

Henry Salvatori Professor

Computer and Information Science

Office: Levine Hall, 562

Research Areas

  • Programming Languages
  • Type Systems
  • Language-based Security
  • Computer-assisted Formal Verification
  • Differential Privacy
  • Synchronization Technologies

Awards

2024: Distinguished Paper Award, International Conference on Software Engineering

2020: Best Paper Award, POPL

2015: Most Influential Paper Award, ACM SIGPLAN Symposium on Principles of Programming Languages

2013: ACM/IEEE Logic in Computer Science (LICS) Test of Time Award

2012: Fellow of the ACM

Projects/Papers

Tyche: Making Sense of PBT Effectiveness
Mica: Automated Differential Testing for OCaml Modules
Advanced Topics in Types and Programming Languages

Students

PhDs:

Hengchu Zhang

Cynthia Richey (co-advised with Steve Zdancewic)

Joseph Cutler

Jessica Shi

Zain Aamer

Noè De Santo (co-advised with Steve Zdancewic)

Francis Rinaldi (co-advised with Steve Zdancewic)

Daniel Sainati (co-advised with Stephanie Weirich and Steve Zdancewic)