Teaching

*As Principal Instructor* (at Ruhr University Bochum, level: undergraduate and graduate)

SS 2024: History of Analytic Philosophy 

WS 2023/24: Logical Techniques, (co-teaching with Daniel Skurt, Introduction to proof and model theory)

WS 2022/23: Logical Argumentation and Manipulation (Seminar on critical thinking)

SS 2022: Formal Methods in Philosophy

WS 2021/22: Introduction to General Proof Theory

SS 2021: Logical Argumentation and Manipulation (Seminar on critical thinking)

WS 2020/21: 

• Formal Methods in Philosophy

• Classical Texts in Philosophy of Language

SS 2020: 

• Classical Texts in Philosophy of Language

• Introduction to Analytic Philosophy (co-taught with Christopher Badura)

• Logical Argumentation and Manipulation (Seminar on critical thinking)

WS 2019/2020: Paradoxes

SS 2019: 

• Introduction to the Philosophy of Logic

• Logical Argumentation and Manipulation (Seminar on critical thinking)

WS 2018/19: Paradoxes

*As Teaching Assistant* (level: undergraduate)

Logic I, WS 2016/17, WS 2018/19, WS 2019/20, WS 2021/22 & SS 2023, Ruhr University Bochum
(for Heinrich Wansing, Christian Straßer and Daniel Skurt)

Formal Logic, WS 2012/13 & WS 2013/14, University of Siegen
(for Richard Schantz and Bertold Schweitzer)

(WS = Winter Semester, SS = Summer Semester)