Teaching

VIENNA UNIVERSITY OF TECHNOLOGY

• Summer 2020: Advanced Mathematical Logic

• Summer 2020, 2019, 2018, 2017: Computability Theory

University of siena

• Winter 2020, 2019: Logic and Cognition

• Winter 2020, 2019, 2018: Logic

University of BARI

• Summer 2023, 2022: Logic and Philosophy of Science

University of namibia

(within the program "Mentoring African Research in Mathematics")

• Winter 2021: Algorithmic Learning Theory

• Summer 2020: Computability Theory