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 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