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.
- semantics of programming languages, including denotational, operational and game semantics
- computational effects, both individually and generally
- semantics of nondeterminism
- category theory, in particular categorical semantics and coalgebra.
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
Roly Perera, graduated 2013
Paul Blain Levy