I am a Postdoctoral Research Fellow in the Theory of Computation group at the University of Birmingham, where I was previously a PhD student. I completed my PhD in June 2025 under the supervision of MartÃn Escardó, and with Vincent Rahli as my second supervisor.
Before I started my PhD, I obtained an MSc degree from Chalmers University of Technology. For my MSc thesis there, I investigated formal topology in the context of univalent type theory, under the supervision of Thierry Coquand.
Most of my work so far has been focussed on making predicative sense of constructive pointfree topology in the constructive and predicative context of Cubical Type Theory. More broadly, my primary research interest is the connection between topology and computation. Domains and topology are an indispensable tool for approaching this connection, but I am interested in other such tools such as synthetic topology.