I am a Ph.D. student 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 are Aleš Pultr and Achim Jung, and I am a member of Theory Group and CARGO (cargo mailing list).




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 and Github profiles. I have an ORCID. By the way, have you heard of this?

In preparation

  1. Tomáš Jakl, Achim Jung: A Vietoris construction for bispaces and d-frames.
  2. Tomáš Jakl, Achim Jung, Aleš Pultr: Quotients of d-frames, submitted.
  3. Tomáš Jakl: d-Frames as algebraic duals of bitopological spaces, 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 ;-).