I am a researcher at the Department of Mathematical Logic and Theoretical Computer Science of the Institute of Mathematics of the Czech Academy of Sciences, with research interests in mathematical logic, including weak arithmetics and modal logic.
You can find me on the 2nd floor in the rear building of the Institute, office no. 522.
Teaching: Mathematical Logic (MFF UK, NMAG331, fall 2024/25), Decidable Theories (MFF UK, NMAG499, spring 2023/24), Introduction to Mathematical Logic (MFF UK, NMAG162, spring 2022/23)
My CV
ORCID 0000-0002-9057-3413
Some old stuff