About me
I am a Research Associate at the University of Cambridge, working on Anuj Dawar and Samson Abramsky’s joint EPSRC project called Resources and co-Resources. I’m a member of the Programming, Logic, and Semantics Group.
Previously I did a postdoc at the Université Côte d’Azur, on Mai Gehrke’s ERC project DuaLL (as a member of Dualité de Stone, langages formels et logique). Before that I did my Ph.D. at the Department of Applied Mathematics of Charles University in Prague and at the School of Computer Science of the University of Birmingham (joint programme). My Ph.D. supervisors were Aleš Pultr and Achim Jung and I was a member of the Theory Group and CARGO.
Interests
- Dualities between topology and algebra and their applications in theoretical computer science and logic.
- Hobbies: Functional programming, concurrent computing and foundations of mathematics.
Contact
- E-mail:
tj330@cam.ac.uk
- E-mail (old):
jaklt@kam.mff.cuni.cz
- Address:
Department of Computer Science and Technology
University of Cambridge
J.J. Thomson Avenue
Cambridge CB3 0FD, England - Office: room FC10 in the Computer Lab
How to pronounce my name?
It’s like 托馬斯 in Chinese, توماش in Arabic, Tomaasch in German and Tom\'{a}\v{s}
in (La)TeX. You can also simply call me Tom ;-).
Petty Activism
I fully support the work of the following organisations:
- Fair Open Access Alliance and Free Journal Network, for standing up to predatory publishers, as explained by Timothy Gowers and here. There is something everybody can do, see igorpak’s blog.
- Konspiratori.sk and MapaMedii for their fight against media with shady ownership structure and often alarming financial backing, as explained here (in Slovak).