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
on the EPSRC-funded project Recursion, Guarded Recursion and Computational Effects for three years from 1 October 2016. Please contact me for more information. The deadline is 22 May.
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.
- 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.
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
Proceedings of the 5th Workshop on Mathematically Structured Functional Programming coedited with Neel Krishnaswami
Roly Perera, graduated 2013
Paul Blain Levy
Last modified: Thu Apr 14 16:48:34 BST 2016