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: 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