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}}