University of Nottingham
I am a Royal Society University Research Fellow and Associate Professor at the University of Nottingham , in the Functional Programming Lab . I was previously a member of the Birmingham Theory Group and at Eötvös Loránd University . My interests include (homotopy) type theory, (higher) categories, constructive mathematics in general, and the vast area of related topics.
Feel free to contact me: [email protected] .