Benjamin C. Pierce

Henry Salvatori Professor
Computer and Information Science (CIS)

Email | Personal Webpage

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.

Member of:

PhD Computer Science 1991 - Carnegie Mellon University

Recent Publications RSS Feed

  • A verified information-flow architecture, Azevedo De Amorim, A. | Collins, N. | DeHon, A. | Demange, D. | Hri̧cu, C. | Pichardie, D. | Pierce, B.C. | Pollack, R. | Tolmach, A., Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 2014
  • A verified information-flow architecture, De Amorim, A.A. | Collins, N. | DeHon, A. | Demange, D. | Hritcu, C. | Pichardie, D. | Pierce, B.C. | Pollack, R. | Tolmach, A., ACM SIGPLAN Notices, 2014
  • SAFE: A clean-slate architecture for secure systems, Chiricescu, S. | Dehon, A. | Demange, D. | Iyer, S. | Kliger, A. | Morrisett, G. | Pierce, B.C. | Reubenstein, H. | Smith, J.M. | Sullivan, G.T. | Thomas, A. | Tov, J. | White, C.M. | Wittenberg, D., 2013 IEEE International Conference on Technologies for Homeland Security, HST 2013, 2013
  • Sensitivity analysis using type-based constraints, D'antoni, L. | Gaboardi, M. | Arias, E.J.G. | Haeberlen, A. | Pierce, B.C., Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, 2013
  • A theory of information-flow labels, Montagu, B. | Pierce, B.C. | Pollack, R., Proceedings of the Computer Security Foundations Workshop, 2013

Return to Directory