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
My timetable for Spring 2013 is here.
Models of Computation (06-05934), Spring 2013.
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
Summary of research interests
- Semantics of programming languages, including denotational, operational and game semantics
- Computational effects, both individually and collectively
- Semantics of nondeterminism
- Category theory, in particular categorical semantics and coalgebra
If you're interested in PhD research in any of the above, email me.
Paul Blain Levy