News
Events
Directories
Penn Home

Facebook   Youtube  Twitter

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:

Education:
PhD Computer Science 1991 - Carnegie Mellon University

Recent Publications RSS Feed

  • Linear dependent types for differential privacy, Gaboardi, M. | Haeberlen, A. | Hsu, J. | Narayan, A. | Pierce, B.C., Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 2013
  • Hardware support for safety interlocks and introspection, Dhawan, U. | Kwon, A. | Kadric, E. | Hriţcu, C. | Pierce, B.C. | Smith, J.M. | DeHon, A. | Malecha, G. | Morrisett, G. | Knight Jr., T.F. | Sutherland, A. | Hawkins, T. | Zyxnfryx, A. | Wittenberg, D. | Trei, P. | Ray, S. | Sullivan, G., Proceedings - 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, 2012
  • Preface, Pierce, B.C. | Weirich, S., Journal of Automated Reasoning, 2012
  • Edit lenses, Hofmann, M. | Pierce, B. | Wagner, D., ACM SIGPLAN Notices, 2012
  • Preliminary design of the SAFE platform, DeHon, A. | Ben, K. | Knight Jr., T.F. | Malecha, G. | Montagu, B. | Morisset, R. | Morrisett, G. | Pierce, B.C. | Pollack, R. | Ray, S. | Shivers, O. | Smith, J.M. | Sullivan, G., Proceedings of the 6th Workshop on Programming Languages and Operating Systems, PLOS 2011 - In Conjunction with the 23rd ACM Symposium on Operating Systems Principles, SOSP 2011, 2011


Return to Directory