Tomáš Jakl

Email (old)
Computer Lab
University of Cambridge
Office FC10
Me attempting some sewing.

Recent news

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

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.

News archive

Web Analytics