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
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!
11 Apr 2026
I presented our joint paper with Luca Reggio On the Axioms of Arboreal Categories at CMCS 2026.
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.