About me

I am a computer scientist and mathematician, 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.

Currently 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: a junction between categorical semantics, model theory and descriptive complexity. 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. 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.

For details, see my CV.

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: Tomas.Jakl@cl.cam.ac.uk
• E-mail (old): tj330@cam.ac.uk
• E-mail (old): jaklt@kam.mff.cuni.cz
• University website: cl.cam.ac.uk/~tj330
• Address:
  Department of Computer Science and Technology
  Computer Laboratory
  University of Cambridge
  15 J.J. Thomson Avenue
  Cambridge CB3 0FD, England
• Office: FC10
  Phone: (01223) 7-63630

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