Benjamin Crawford Pierce is the Henry Salvatori Professor[1] of computer science at the University of Pennsylvania.

As part of his research, Pierce has led development on several open-source software projects, including the Unison file synchronization utility.

In 2012 Pierce became an ACM Fellow[2] for "contributions to the theory and practice of programming languages and their type systems".

[...] More broadly, the paper sparked a great deal of follow-on work in the area of BX (“bidirectional transformations”), leading to a fruitful collaboration between the worlds of databases, programming languages, and software engineering."

He has also edited a collection of articles to create a second volume Advanced Topics in Types and Programming Languages ISBN 0-262-16228-8.