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
- Faculty of Information Technology
- Czech Technical University
🇪🇺 I'm currently working on project ALGACOM 🇪🇺
Recent news
01 Oct 2025
Two of my papers got accepted over the summer, the paper on Belnap's legacy in theoretical computer science and the journal version of our paper with Dan Marsden and Nihil Shah. See the publications page.
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.