Benjamin Pierce Named Fellow of the Association for Computing Machinery

Benjamin PierceBenjamin Pierce, professor in the Department of Computer and Information Science, has been named Fellow of the Association for Computing Machinery (ACM) for "contributions to the theory and practice of programming languages and their type systems."

ACM recognizes members as Fellows for contributions to computing that are fundamentally advancing technology in healthcare, cybersecurity, science, communications, entertainment, business, and education.  The 2012 ACM Fellows personify the highest achievements in computing research and development from the world's leading universities, corporations, and research labs, with innovations that are driving economic growth in the digital environment.

ACM is the world's largest educational and scientific computing society and delivers resources that advance computing as a science and a profession. ACM provides the computing field's premier Digital Library and serves its members and the computing profession with leading-edge publications, conferences, and career resources.

Pierce'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.

To read more about Pierce and his research, please visit his faculty profile.