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 UniCaToR.
Recent news
01 Sep 2026
I am starting a new project called UniCaToR. For more information follow the project's website.
06 Jun 2026
I was awarded a prestigeous CTU Starting Grant which allows me to hire postdocs in near future.
👉 If you are interested in combining category theory, linear logic and type theory in the study of computational resources in programming languages using comonads, reach out to me!
17 Apr 2026
Our joint paper with Jakub Opršal and Maximilian Hadek on A categorical perspective on constraint satisfaction has been accepted at LiCS 2026!
11 Apr 2026
I presented our joint paper with Luca Reggio On the Axioms of Arboreal Categories at CMCS 2026.