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