Andrew Pitts

**Andrew Mawdesley Pitts** is a professor of theoretical computer science at Cambridge. His thesis was on the theory of triposes; he studies semantic of programming languages, type theory, symbolic computation etc.

Last revised on November 15, 2012 at 14:35:51. See the history of this page for a list of all contributions to it.