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, please contact me.


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
Proceedings of the 5th Workshop on Mathematically Structured Functional Programming coedited with Neelakantan Krishnaswami


PhD Students

Yuning Feng
Bram Geron
Roly Perera, graduated 2013

Postdocs

Marco Devesas Campos on the project Recursion, Guarded Recursion and Computational Effects
Kidane Yemane on the project Semantics of Nondeterminism, ended 2008


Paul Blain Levy
Last modified: Thu Nov 10 18:09:50 GMT 2016