http://www.cis.upenn.edu/~bcpierce/cgi-bin/photos/bcp/sallie1-2006-thumb.jpg

http://www.cis.upenn.edu/~bcpierce/

Professor of Computer Science at University of Pennsylvania.  Author of TypesAndProgrammingLanguages and BasicCategoryTheoryForComputerScientists, as well as numerous papers on TypeTheory and distributed systems.  Editor of AdvancedTopicsInTypesAndProgrammingLanguages.



----

CategoryAuthor CategoryScientist