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.
- Czech Academy of Sciences
- Czech Technical University
10 Nov 2023
It is my great pleasure to announce that my Marie Skłodowska-Curie project Algacom, supervised by Dušan Knop, has been selected for funding. The project starts in September 2024.
14 Apr 2023
Announcing the third iteration of the Structure meets Power Workshop (25 June 2023). Save the date!
05 Apr 2023
Our recent paper A categorical account of composition methods in logic, coauthored by Dan Marsden and Nihil Shah, has been accepted at LiCS 2023.
01 Apr 2023
I'm very happy to announce that I'm starting my next jobs at the Czech Academy of Sciences and the Czech Technical University.