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.
- tomas.jakl@cvut.cz
- Affiliation
- Czech Technical University
Recent news
14 Mar 2025
Our new preprint on categorical aspects of PCSP (Promise Constraint Satisfaction Problem) can be found on arXiv.
01 Mar 2025
I will be a lecturer at the second week of ESSLLI this year. The event is full of interesting logic-related talks, including (hopefully) my game comonads lectures.
01 Sep 2024
I am excited to start my MSCA project called ALGACOM. For more information follow the project's website.
30 Apr 2024
A new draft of a joint work with Anna Laura Suarez avaiable on arXiv.