Benjamin C. Pierce

Henry Salvatori Professor
Computer and Information Science (CIS)

Honors and Awards: 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.