Benjamin C. Pierce is a professor of computer science at the University of Pennsylvania. Dr. Pierce joined UPenn in 1998 from 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. His book "Types and Programming Languages" (http://www.cis.upenn.edu/~bcpierce/tapl/index.html) is widely regarded as one of the finest on the subject. Computer science (academically, CS, CSC or compsci) encompasses a variety of topics that relates to computation, like abstract analysis of algorithms, formal grammars, and subjects such as programming languages, program design, software and computer hardware. ... The University of Pennsylvania (commonly referred to as Penn or UPenn, although the former is the preferred and recognized nickname of the University) is a private university in Philadelphia, Pennsylvania and a member of the Ivy League. ... Indiana University may refer to: the Indiana University system Indiana University of Pennsylvania This is a disambiguation page — a navigational aid which lists other pages that might otherwise share the same title. ... The University of Cambridge is the second-oldest in the English-speaking world, after Oxford University. ... The University of Edinburgh, founded in 1583, is a renowned centre for teaching and research in Edinburgh, Scotland. ... Carnegie Mellon University is a private research university located in Pittsburgh, Pennsylvania. ...

External links

• Dr. Pierce's Homepage (http://www.cis.upenn.edu/~bcpierce/)