Contact details
Tomáš JaklI'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.
- jakl@math.cas.cz
- tomas.jakl@cvut.cz
- Affiliations
- Czech Academy of Sciences
- Czech Technical University
Recent news
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.
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.