Senior Lecturer, School of Computer Science
University of Birmingham
Edgbaston, Birmingham, B15 2TT, UK
phone: +44 121 414 4792
email: P.B.Levy@cs.bham.ac.uk

My timetable for Spring 2013 is here.

Teaching

Papers
Manuscripts
Slides
Course notes on typed λ-calculus and coalgebra from Midlands Graduate School
My book on call-by-push-value
Proceedings of the 4th Workshop on Mathematically Structured Functional Programming, coedited with James Chapman

Summary of research interests

• Semantics of programming languages, including denotational, operational and game semantics
• Computational effects, both individually and collectively
• Call-by-push-value
• Semantics of nondeterminism
• Category theory, in particular categorical semantics and coalgebra

PhD opportunities

Students