I've taught widely in mathematics, logic, and computer science, and I'm passionate about sharing
these subjects with students at all levels.
I'm currently
recruiting a PhD student on my Czech Science Foundation project INTERACT. If you're interested in doing a PhD with me, please get contact me.
For Winter 2024, I'm teaching a course entitled Methods of Philosophical Logic in the Department of Logic of Charles University.
Past MSc students: Vincent Jaquet-Chiffelle (Thesis: "Poset Products of Nilpotent Minimum Algebras", Summer 2022), Stéphane Desarzens (Thesis: "One-Variable Unification in K", Summer 2023, co-supervised with George Metcalfe), Adam Donadille (intern from ENS-Lyon during the Summer of 2024).