Teaching

University of BARI

• Summer 2005: Philosophy of mathematics

• Summer 2022–2025: Logic and philosophy of science

• Summer 2023–2025: Logic and theory of argumentation

TU WIEN

• 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