photo of Paul Paul Blain Levy (rhymes with "all plain Stevie")

Reader in Theoretical Computer Science
School of Computer Science, University of Birmingham
Edgbaston, Birmingham, B15 2TT, UK
phone: +44 121 414 4792

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

If you're interested in PhD research in any of the above topics, please contact me.

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

Paul Blain Levy
Last modified: Thu Nov 30 12:02:37 GMT 2023