Reader in Theoretical Computer Science
School of Computer Science, University of Birmingham
Edgbaston, Birmingham, B15 2TT, UK
email: P.B.Levy@bham.ac.uk

I am a member of the Birmingham Theoretical Computer Science group, and my interests include

• semantics of programming languages, including denotational, operational and game semantics
• computational effects, both individually and generally
• call-by-push-value
• semantics of nondeterminism
• category theory, in particular categorical semantics and coalgebra.

Papers
Manuscripts
Slides
Course notes on typed λ-calculus and coalgebra and effects and call-by-push-value from Midlands Graduate School
My book on call-by-push-value

My work on call-by-push-value has won the 2025 Church award, to be presented at CSL 2026.