Mathematician / Logician / Computer Scientist

I am a PhD student in Computer Science at the University of Nottingham supervised by Ulrik Buchholtz and Nicolai Krause.

My research focuses on homotopy type theory, geometric type theory and related topics.