About me

I am a theoretical computer scientist and mathematician, currently mainly working in the field of game comonads. This is a new research area characterised by applying techniques from category theory in finite model theory. I have also made contributions to duality theory, pointfree topology, paraconsistent and modal logics.

I am employed as an Assistant Professor at the Faculty of Information Technology of the Czech Technical University. From September 2024 I am working on my MSCA project ALGACOM. I am a member of the G²OAT research group and the (informal) Prague Programming Languages and Systems Research Group Prg • Prg.

Previously I was a Research Fellow at the Czech Academy of Sciences, with Wieslaw Kubis, a Research Associate at the University of Cambridge, with Anuj Dawar and Samson Abramsky, and a postdoc at the Université Côte d’Azur, with Mai Gehrke. 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.

Contact

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 ;-).

Web Analytics