About Me
Welcome! I am a logician and mathematician currently pursuing my PhD in Algebra, Number Theory, and Mathematical Logic at the Faculty of Mathematics and Physics, Charles University. I am also a Researcher in the Department of Theoretical Computer Science at the Institute of Computer Science, Czech Academy of Sciences.
Under the supervision of Petr Cintula and Carles Noguera, my dissertation research focuses on non-integral generalizations of Łukasiewicz logic. Broadly, my mathematical interests span algebraic logic, universal algebra, many-valued logic, ℓ-group theory, duality theory, complexity, and modal logics.
For those interested, here is my CV.
Education
Recent News
- I will soon be presenting "Product Łukasiewicz Unbound Logic" at Topology, Algebra, and Categories in Logic (TACL) 2026.
- On July 1, I presented our accepted paper "Pointed Modal Abelian Logic, Algebraically" (joint with W. Poiger) at Advances in Modal Logic (AiML) 2026 in Amsterdam, Netherlands.
- On June 24, I gave a talk on "Algebraic Semantics for Real-Valued Pointed Modal Logic" at the Seminar on Applied Mathematical Logic at the Institute of Computer Science (CAS).
- Awarded the Best Research Results by Young Researchers (2025) from the Institute of Computer Science (CAS) for the paper "Satisfiability in Łukasiewicz logic and its unbounded relative" (joint with Z. Haniková).
- Recently gave a talk on "Logic of Unitary Commutative ℓ-Rings and Its Extensions" at the LOGICA 2026 conference in Hejnice, Czech Republic.
- Completed a research stay at the Mathematisches Institut, University of Bern, Switzerland (March 2026).