About Me
Welcome! I am a logician and mathematician. I recently completed my PhD in Algebra, Number Theory, and Mathematical Logic at the Faculty of Mathematics and Physics, Charles University. I am currently a postdoc in the Department of Theoretical Computer Science at the Institute of Computer Science, Czech Academy of Sciences.
My research focuses on the connection between ℓ-group theory and non-classical logic. Broadly, my mathematical interests span algebraic logic, universal algebra, many-valued logic, duality theory, complexity, and modal logics. I am currently looking for a postdoc position.
For those interested, here is my CV.
Education
Recent News
- On October 21, 2026, I will give a talk titled "The Algebraic Semantics of Pointed Real-Valued Modal Logic" at the Non-Classical Logics Seminar at IMUB, Barcelona, Spain.
- Starting October 2026, I am on a long-term visit at the Artificial Intelligence Research Institute (IIIA-CSIC) in Barcelona, Spain.
- My paper "Subvarieties of pointed Abelian ℓ-groups" has been accepted for publication in Algebra Universalis.
- On September 17, 2026, I presented an Introduction course to Universal Algebra at the PIVO (Primary Introductions & Various Overviews) Seminar at the Institute of Computer Science (CAS).
- On September 4, 2026, I successfully finished and defended my PhD with the dissertation Non-integral generalizations of Łukasiewicz logic.
- On July 28, 2026, I presented "Product Łukasiewicz Unbound Logic" at Topology, Algebra, and Categories in Logic (TACL) 2026.
- On July 1, 2026, I presented our accepted paper "Pointed Modal Abelian Logic, Algebraically" (joint with W. Poiger) at Advances in Modal Logic (AiML) 2026 in Amsterdam, Netherlands.