Tomáš Jakl

Czech Academy of Sciences
Czech Technical University
Me pretending to use an old computers.

Recent news

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.

01 Apr 2023

I'm very happy to announce that I'm starting my next jobs at the Czech Academy of Sciences and the Czech Technical University.

News archive

Web Analytics