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
07 Feb 2026
Announcing our ESSLLI 2026 workshop on Semantics and compositionality for expressiveness and complexity, in 10-14 August 2026. Save the date!
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.