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




Provisional schedule

Previous work

  1. 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]
  2. 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.

In preparation

  1. Tomáš Jakl, Achim Jung: Free constructions and coproducts of d-frames, submitted. [arXiv]
  2. Tomáš Jakl, Achim Jung: Vietoris construction for bispaces and d-frames.

How to pronounce my name?

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