Summer 2025: Philosophy of mathematics
Summer 2022–2025: Logic and philosophy of science
Summer 2023–2025: Logic and theory of argumentation
Summer 2020: Advanced mathematical logic
Summer 2017–2020: Computability theory
Winter 2019, 2020: Logic and cognition
Winter 2018–2020: Logic
(within the program "Mentoring African Research in Mathematics")
Winter 2021: Algorithmic learning theory
Summer 2020: Computability theory