## About

I am PhD student in the Theory of Computation group at the University of
Birmingham, interested in domain theory and pointfree topology. My supervisor is
MartÃn H. EscardÃ³ and second supervisor is Vincent Rahli.

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.

## Research

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.