Paul Blain Levy (rhymes with "all plain Stevie")
Reader in Theoretical Computer Science
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
- semantics of programming languages, including denotational, operational and game semantics
- computational effects, both individually and generally
- call-by-push-value
- semantics of nondeterminism
- category theory, in particular categorical semantics and coalgebra.
If you're interested in PhD research in any of the above topics, please contact me.
|
Papers
Manuscripts
Slides
Course notes on typed λ-calculus and coalgebra and effects and call-by-push-value 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 Neelakantan Krishnaswami
PhD Students
Yuning Feng
Bram Geron, graduated 2020
Roly Perera, graduated 2013
Postdocs
Marco Devesas Campos on the project Recursion, Guarded Recursion and Computational Effects, ended 2019
Kidane Yemane on the project Semantics of Nondeterminism, ended 2008
Paul Blain Levy
Last modified: Tue Aug 1 10:22:19 BST 2017