Benjamin C. Pierce
1381961
165593554
2007-10-19T09:16:44Z
82.153.160.17
/* External links */
'''Benjamin C. Pierce''' is an American professor of [[computer science]] at the [[University of Pennsylvania]]. Dr. 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 languages, static type systems, distributed programming, mobile agents, and process calculi.
As part of his research, Pierce has led development on several [[open-source software]] projects, including the [[Unison (file synchronizer)|Unison]] file synchronization utility.
==Books==
He has authored 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.
==External links==
* [http://www.cis.upenn.edu/~bcpierce/ Prof. Pierce's Homepage]
{{DEFAULTSORT:Pierce, Benjamin C.}}
[[Category:American computer scientists]]
[[Category:Living people]]
{{compu-bio-stub}}