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:

- Dualities in 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@unice.fr`

- E-mail (old):
`jaklt@kam.mff.cuni.cz`

~~E-mail (teaching):~~`txj300@cs.bham.ac.uk`

- Office in Nice: room 3W701 in the Maths building

## Teaching

- Lectures: Data Structures and Algorithms (2018) (last update: 2018-01-12)
- Exercise classes: Functional Programming (2017) (last update: 2017-11-30)
- Exercise classes: Models of Computation (2017) (last update: 2017-10-01)
- Exercise classes: Models of Computation (2016) (last update: 2017-10-01)
- Exercise classes: Functional Programming (2015) (last update: 2017-11-30)
- Exercise classes: Functional Programming (2014) (last update: 2017-10-01)
- Cvičení: Lineární algebra I (2013) (last update: 2017-10-01)

## Previous work

- Tomáš Jakl, Achim Jung:
*Free constructions and coproducts of d-frames*, accepted at CALCO 2017. [doi] + preprint on [arXiv] (with all proofs). - 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] - Richard N. Balla, Bernhard Banaschewski, Tomáš Jakl, Aleš Pultr, Joanne Walters-Waylande:
*Tightness relative to some (co)reflections in topology*, Quaestiones Mathematicae, 2015. [doi]

- d-Frames as algebraic duals of bitopological spaces, 2018 (Ph.D. thesis).
- Algebraic and topological methods in computer science, 2015 (First year report).
- Some point-free aspects of connectedness, 2013 (Master thesis).

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

### In preparation

- Tomáš Jakl, Achim Jung: Free constructions of d-frames.
- 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 ;-).