Benjamin C. Pierce

Benjamin C. Pierce

Henry Salvatori Professor
Computer and Information Science (CIS)

Email | Personal Webpage

Honors and Awards:  ACM Fellow, Honorary doctorate from Chalmers University, 2015 POPL most influential paper award, 2015, One of 15 most-acknowledged computer scientists (Proceedings of the National Academy of Sciences) - 2005

Research Expertise: Programming Languages | Logic | Formal Methods

Benjamin's research focuses on foundational principles leading to more robust, cohesive, and secure software systems. He has worked on programming languages, static type systems, concurrent and distributed programming, synchronization technologies, and computer security, always with an eye to the fruitful interplay of theory and practice. Benjamin is the author of several books, including the widely used graduate text, Types and Programming Languages, and is the lead designer of the popular Unison file synchronizer.

PhD Computer Science 1991 - Carnegie Mellon University

Recent Publications RSS Feed

Return to Directory