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.
I am working in the area of dependent type theory (favourite proof assistant: Agda), for which I will soon lead an ERC (European Research Council) project. My main focus is homotopy type theory and (higher) categories, but I like to think about topics and questions in constructive or non-constructive mathematics in general.
Feel free to contact me: firstname.lastname@nottingham.ac.uk.
Quick links:
[People]
[Papers]
[Workshop Contributions]
[Talks]
[Events]
[Teaching]
[Notes]
[Funding Acknowledgement]
and a list of bibtex entries for my papers [html].
I am generously supported by