Editing Benjamin C. Pierce

{{Short description|American professor of computer science}}
{{Infobox scientist
| image            = Benjamin C. Pierce.jpg
| caption          = [[Mathematical Foundations of Programming Semantics]] 24 (Philadelphia, May 2008)
| alma_mater       = [[Carnegie Mellon University]]
| thesis_title     = Programming with Intersection Types and Bounded Polymorphism
| thesis_year      = 1991
| doctoral_advisor = [[Robert Harper (computer scientist)|Robert Harper]]<br>[[John C. Reynolds]]
| known_for = [[Types and Programming Languages]]
}}

'''Benjamin Crawford Pierce''' is the Henry Salvatori Professor<ref>{{Cite web|url=https://www.seas.upenn.edu/directory/profile.php?ID=72|title=Benjamin C. Pierce}}</ref> of [[computer science]] at the [[University of Pennsylvania]]. Pierce joined Penn in 1998 from [[Indiana University Bloomington|Indiana University]] and held research positions at the [[University of Cambridge]] and the [[University of Edinburgh]]. He received his Ph.D. from [[Carnegie Mellon University]] in 1991. His research includes work on [[programming language theory|programming language]]s, [[static type system]]s, [[distributed programming]], [[mobile agent]]s, [[process calculi]], and [[differential privacy]].

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]]<ref>{{Cite web|url=https://awards.acm.org/award-winners/PIERCE_4660460|title=Benjamin Pierce|website=awards.acm.org|language=en|access-date=2019-09-10}}</ref> for "contributions to the theory and practice of programming languages and their type systems". In 2015 Pierce and co-authors received the award for the most influential [[Principles of Programming Languages]] paper,<ref>{{Cite web|url=https://www.sigplan.org/Awards/POPL/|title=Most Influential POPL Paper Award|website=www.sigplan.org|access-date=2019-09-10}}</ref> which was described as "instrumental in bringing the view-update problem to the attention of the programming languages community and demonstrating the broad relevance of the problem beyond [[databases]].  [...] More broadly, the paper sparked a great deal of follow-on work in the area of BX (“[[bidirectional transformation]]s”), leading to a fruitful collaboration between the worlds of databases, programming languages, and [[software engineering]]."

==Books==
He is the author of one book on [[type systems]], ''[[Types and Programming Languages]]'' {{ISBN|0-262-16209-1}}.  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}}. Based on the notes he collected while learning [[category theory]] during his PhD, he also published an introductory book on this topic&mdash;''Basic Category Theory for Computer Scientists'', {{ISBN|0-262-66071-7}}. He is one of the authors of the freely available book [https://softwarefoundations.cis.upenn.edu/ ''Software Foundations''].

== See also ==
* [[POPLmark challenge]]

==References==
<references />

==External links==
* [http://www.cis.upenn.edu/~bcpierce/ Prof. Pierce's Homepage]
* {{DBLP|name=Benjamin C. Pierce}}
* {{MathGenealogy|50223}}

{{Authority control}}

{{DEFAULTSORT:Pierce, Benjamin C.}}
[[Category:American computer scientists]]
[[Category:Living people]]
[[Category:Programming language researchers]]
[[Category:Year of birth missing (living people)]]
[[Category:University of Pennsylvania faculty]]
[[Category:University of Pennsylvania Department of Computer and Information Science faculty]]

{{compu-bio-stub}}