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
email: P.B.Levy@cs.bham.ac.uk


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!


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


Students

Bram Geron
Roly Perera, graduated 2013


Paul Blain Levy