I am interested in logical and algebraic approaches to Computer Science. Much of my work is in the semantics of programming languages, and uses category theory and type theory.

Please send me an email if you would be interested in working with me as an undergraduate or graduate student, or if you would like to ask about postdoctoral opportunities.

Research

• Publications

• Talks

Teaching material

• COMSM0067 Advanced Topics in Programming Languages (2023/24)

• COMS20007 Programming Languages and Computation (2023/24)

• A Short Course in JavaScript (access restricted to UoB)

• LaTeX macros for typed λ-calculus

• LaTeX article template (for getting started)

Misc.

• The PLS Lab

• The Bristol Programming Languages Research Group (PLRG) website

• The Panhellenic Logic Symposium website

• The Strachey 100 conference

• An entertaining comment about dependent types and people who work on them

Address