Contact detailsTomáš Jakl
I'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.
- firstname.lastname@example.org (old)
- Computer Lab
- University of Cambridge
- Office FC10
10 May 2021
Our joint paper with Anuj Dawar and Luca Reggio on Lovász-Type Theorems and Game Comonads has been recently accepted to LICS 2021. Its preprint is now available on arXiv.
17 Mar 2021
Announcing Structure meets Power Workshop (27-28 June 2021), focussed on bringing together researchers from Track A and Track B strands of theoretical computer science. Save the date!
17 Dec 2020
We have submitted an extended version of our FoSSaCS 2020 paper for publication. You can find it at arXiv:2012.09975. Any feedback welcome.
30 Jul 2020
Luca Reggio, Mai Gehrke and I have finished our contribution to Samson Abramsky's upcoming festschrift.