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.
- jakl@math.cas.cz
- tomas.jakl@cvut.cz
- Affiliations
- Czech Academy of Sciences
- Czech Technical University
Recent news
08 Mar 2024
I'm happy to announce that I will be an invited speaker of the Summer School on General Algebra and Ordered Sets 2024.
10 Nov 2023
It is my great pleasure to announce that my Marie Skłodowska-Curie project Algacom, supervised by Dušan Knop, has been selected for funding. The project starts in September 2024.
14 Apr 2023
Announcing the third iteration of the Structure meets Power Workshop (25 June 2023). Save the date!
05 Apr 2023
Our recent paper A categorical account of composition methods in logic, coauthored by Dan Marsden and Nihil Shah, has been accepted at LiCS 2023.