Contact detailsTomáš Jakl
I'm a mathematician and computer scientist interested in duality theory and semantics of logic and programming languages. Feel free to browse my web to find out more about me.
- firstname.lastname@example.org (old)
- Computer Lab
- University of Cambridge
- Office FC10
13 April 2020
My recent paper with Mai Gehrke and Luca Reggio has been accepted for publication for this year's FoSSaCS 2020 and is already available online on springer.com.
12 Feb 2020
I started a Research Associate position at the University of Cambridge. You can find my new professional website here.
09 Oct 2019
My recent paper Canonical extensions of locally compact frames has been accepted for publication. You can find the preprint on arXiv.
10 Sep 2019
The slides of my Logic Colloquium 2019 talk have been made available. You can find them here.