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 Languages, Semantics and Verification and Algorithms and Complexity groups. My postdoc website can be found on cl.cam.ac.uk/~tj330 (and also newly here).

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.



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

If you work in academia, I urge you. Please, please make all your papers publicly available on your website, arXive, your institution website, or at least on ResearchGate. Also, when downloading papers never ever download them from publishers’ websites. This way the way-too-powerful publishing domes lose the main negotiating leverage that we need them when defending their ridiculous subscription fees. For a better explanation see igorpak’s blog and also the custodians website. This will also help the case of Fair Open Access Alliance, Free Journal Network, Timothy Gowers and others.

Web Analytics