About me
I'm a Master's student in Mathematical Structures at the Faculty of Mathematics and Physics, Charles University (CUNI MFF). I am interested in universal algebra (clone theory in particular) and its connections to logic and constraint satisfaction problems (CSPs).
Outside of mathematics, I served as the head organizer of Fyziklani, Europe's largest in-person high-school physics competition, overseeing all aspects of it and coordinating a team of volunteers to celebrate physics with over 1,400 students each year. I also contributed to other FYKOS projects, including the now discontinued international competition Physics Brawl Online (6,000+ participants from 80+ countries). Occasionally, I help organize other educational events and lecture or create programs at camps in mathematics, physics, and chemistry. For more, see the Outreach page →
I also teach high school mathematics at Gymnázium ALTIS Petrovice and practicals in Universal Algebra at CUNI MFF. For details on courses, materials, etc., see the Teaching page →
Research
I am supported by the Czech Science Foundation under the COLA:ULOM project (grant 25-16324S); working with Jakub Bulín, Michael Kompatscher, and Dmitriy Zhuk.
Recent Work:
- Web application for viewing Post's lattice (Sep 2026). [Link]
- Talk One Impossible Closure System at the Spring School of the Department of Algebra of CUNI MFF in Ratibořské hory, Czechia (May 2026). [Slides]
- Talk Describing (multi-sorted) relational clones on {0, 1} at Algebra Seminar at TU Dresden, Germany (Apr 2026). [Slides]
- Talk Short pp-definitions conjecture: an overview and a four-element example at the Fall School of the Department of Algebra of CUNI MFF in Kořenov, Czechia (Nov 2025).
- Presented at the AAA107 Conference in Bern, Switzerland (Jun 2025). [Slides]
- Preprint On the lattice of multi-sorted relational clones on a two-element set with Dmitriy Zhuk. [arXiv:2505.06033]
- Talk How to build Post's lattice from scratch: understanding operations by playing with relations at the Spring School of the Department of Algebra of CUNI MFF in Strážné, Czechia (Mar 2025).
- Bachelor thesis On the lattice of multi-sorted relational clones on a two-element domain supervised by Dmitriy Zhuk (Jun 2024). [Link]