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.