Teaching
VIENNA UNIVERSITY OF TECHNOLOGY
VIENNA UNIVERSITY OF TECHNOLOGY
Summer 2020: Advanced Mathematical Logic
Summer 2020, 2019, 2018, 2017: Computability Theory
University of BARI
University of BARI
Summer 2023, 2022: Logic and Philosophy of Science
Summer 2023: Logic and theory of argumentation
University of siena
University of siena
Winter 2020, 2019: Logic and Cognition
Winter 2020, 2019, 2018: Logic
University of namibia
University of namibia
(within the program "Mentoring African Research in Mathematics")
Winter 2021: Algorithmic Learning Theory
Summer 2020: Computability Theory