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. Since 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.
Past projects and appointments
- 2023–2025: Research Fellow at the Czech Academy of Sciences, with Wieslaw Kubis
- 2020–2023: Research Associate at the University of Cambridge, with Anuj Dawar and Samson Abramsky
- 2018–2020: postdoc at the Université Côte d’Azur, with Mai Gehrke
- Early 2018: Teaching Associate at the School of Computer Science, University of Birmingham
- 2014–2018: 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
- E-mail (teaching/výuka):
tomas.jakl@cvut.cz - E-mail (research):
jakl@math.cas.cz - Address:
České vysoké učení technické v Praze
Fakulta informačních technologií
Thákurova 2077/7, 160 00 Praha 6
CZECH REPUBLIC - Office at FIT CTU: A-1231
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 ;-).