I am a PhD student in the Theory of Computation group at the University of Birmingham, interested in the topological interpretation of computation. 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 where I investigated formal topology in the context of univalent type theory for my MSc thesis, under the supervision of Thierry Coquand.

Broadly, I am interested in the connection between topology and computation. This connection is most clearly visible through a constructive and predicative approach to topology, which is why most of my work so far has been focused on implementing pointfree topology in the constructive and predicative context of cubical type theory. However, I am interested in other ways of understanding this connection such as synthetic topology.

Upcoming |
The Patch Construction in Univalent Type Theory with Martín H. Escardó |

May 2020 |
Formal Topology in Univalent Foundations MSc thesis at Chalmers University of Technology Examined by Nils Anders Danielsson |

August 2021 |
Formal Topology and Univalent Foundations Chapter in Proof and Computation Vol. II with Thierry Coquand |

Spring 2021 |
Theories of Computation University of Birmingham, first year module Teaching assistant |

Fall 2020 |
Functional Programming University of Birmingham, second year module Teaching assistant |

Fall 2018 |
Object-oriented Programming Project Chalmers University of Technology Teaching assistant |