Teaching

University of BARI

• Summer 2022–2024: Logic and Philosophy of Science

• Summer 2023, 2024: Logic and theory of argumentation

VIENNA UNIVERSITY OF TECHNOLOGY

• Summer 2020: Advanced Mathematical Logic

• Summer 2017–2020: Computability Theory

University of siena

• Winter 2019, 2020: Logic and Cognition

• Winter 2018–2020: Logic

University of namibia

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

• Winter 2021: Algorithmic Learning Theory

• Summer 2020: Computability Theory