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

Senior Lecturer, 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, email me.

I'm co-chairing Mathematically Structured Functional Programming 2014. Please submit a paper!

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


Bram Geron
Roly Perera, graduated 2013

Paul Blain Levy