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.