I just started working in Nice, Université Nice Sophia Antipolis, as a postdoc on Mai Gehrke’s project. I did my Ph.D. in the Department of Applied Mathematics at the Charles University in Prague and in the School of Computer Science at the University of Birmingham. My supervisors were Aleš Pultr and Achim Jung, and I was a member of the Theory Group and CARGO (cargo mailing list).

News: I recently finshed my Ph.D. You can find my thesis here.

Interests:

Contact:

Teaching

Previous work

  1. Tomáš Jakl, Achim Jung: Free constructions and coproducts of d-frames, accepted at CALCO 2017. [doi] + preprint on [arXiv] (with all proofs).
  2. Tomáš Jakl, Achim Jung, Aleš Pultr: Bitopology and four-valued logic, Proceedings of the 32nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXXII), Electronic Notes in Theoretical Computer Science, 2016. [doi]
  3. Richard N. Balla, Bernhard Banaschewski, Tomáš Jakl, Aleš Pultr, Joanne Walters-Waylande: Tightness relative to some (co)reflections in topology, Quaestiones Mathematicae, 2015. [doi]

Also see my Google Scholar, Github and Genealogy profiles. I have an ORCID. By the way, have you heard of this?

In preparation

  1. Tomáš Jakl, Achim Jung: Free constructions of d-frames.
  2. Tomáš Jakl, Achim Jung, Aleš Pultr: Quotients of d-frames, submitted.

How to pronounce my name?

It’s like 托馬斯 in Chinese, توماش in Arabic, Tomaasch in German and Tom\'{a}\v{s} in (La)TeX. You also simply call me Tom ;-).