Ayberk Tosun

Maki de Madagascar

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.

Preprints & Theses

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