Contact detailsTomáš Jakl
I'm a mathematician and computer scientist interested in dualities between topology and algebra and their applications in theoretical computer science and logic. Lately I have been also working on applications of comonads (from category theory) in finite model theory.
- firstname.lastname@example.org (old)
- Computer Lab
- University of Cambridge
- Office FC10
13 Apr 2022
The course on game comonads I taught jointly with Luca Reggio at ESSLLI is over. It seemed to be really well received! For details go to the course website.
05 Apr 2022
Announcing the second iteration of the Structure meets Power Workshop (4 July 2022). Save the date!
26 Jan 2022
We have submitted a new paper with Samson Abramsky and Thomas Paine. The preprint is available on my Publications page.
20 Jan 2022
Our paper A Duality Theoretic View on Limits of Finite Structures (Extended version), written jointly with Mai Gehrke and Luca Reggio, has now been published by the LMCS.