|
|
|
|
|
|
BENJAMIN C. PIERCE
Benjamin C. Pierce is a professor of computer science at the University of Pennsylvania. Dr. Pierce joined Penn 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 is widely regarded as one of the finest on the subject, and its sequel, Advanced Topics in Types and Programming Languages, is also highly respected.
As part of his research, Pierce has led development on several open-source software projects, including the Unison file synchronization utility.
External links
|
|
|
|
|
|
|