Reader in Mathematical Foundations of Computer Science,
    Computer Laboratory, University of Cambridge

    Fellow of Christ's College

• Interests: Mathematical models of computation; denotational and operational semantics of programming languages and interactive systems; type systems and program logics for functional and concurrent computation; applications of category theory to computer science.

 
• Book:


• Axiomatic Domain Theory in Categories of Partial Maps.
Cambridge University Press, Distinguished Dissertations in Computer Science, 1996.

 
• Research Programme:


• Algebraic Meta-Theories and Synthesis of Equational Logics

 
• Papers and talks:


• Latest


• Collection
• Concurrency
• Domains
• PreSheaves
• Types

 
• Rough Notes.

• Undergraduate:


• Denotational Semantics.


• Concepts in Programming Languages.


• Computer Science Director of Studies for Christ's College.