Contact detailsTomáš Jakl
I'm a mathematician and computer scientist interested in duality theory and semantics of logic and programming languages. Feel free to browse my web to find out more about me.
- firstname.lastname@example.org (old)
- Computer Lab
- University of Cambridge
- Office FC10
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.
13 Apr 2020
My recent paper with Mai Gehrke and Luca Reggio has been accepted for publication for this year's FoSSaCS 2020 and is already available online on springer.com.