Philosophisches Seminar, Georg August Universität Göttingen 
Lehrveranstaltungen:

• SoSe 2016: Einführung in die Theoretische Philosophie (Proseminar)    

• SoSe 2016: Einführung in die Erkenntnistheorie und Metaphysik von Gottfried Wilhelm Leibniz (Proseminar)    

• SoSe 2016: Themen und Probleme des logischen Objektivismus (Seminar)    

• SoSe 2016: Intuitionistische Logik (Hauptseminar)
• SoSe 2016: Master AG (Kolloquium)   

Institut für Philosophie, Carl von Ossietzky Universität Oldenburg
Lehrveranstaltungen:

• WiSe 2017-18: Einführung in die Metaphysik (Proseminar)

• WiSe 2017-18: Einführung in die Erkenntnistheorie (Proseminar)

• WiSe 2017-18: Syntax und Semantik der Aussagen- und Prädikatenlogik erster Stufe (Hauptseminar)

• WiSe 2017-18: Husserl und Sartre. Der Existentialismus als Humanismus (Hauptseminar)

• WiSe 2015-16: Einführung in die Erkenntnistheorie und Metaphysik von G. W. Leibniz (Proseminar)

• WiSe 2015-16: Ist Wahrheit definierbar? Einführung in die Semantik (Proseminar)

• WiSe 2014-15: Beweistheorie. Eine Einführung (Hauptseminar)

• WiSe 2014-15: Leibniz, Nouveaux Essais, Buch IV, 8-ff (Proseminar)

• SoSe 2014: Berechenbarkeit und Unvollständigkeit: Eine Einführung (Hauptseminar)

• SoSe 2014: Leibniz, Nouveaux Essais, Buch IV, 4-8 (Proseminar)

• SoSe 2014: Satz, Urteil und Proposition bei Bolzano und Frege (Proseminar)

• WiSe 2013-14: Leibniz, Nouveaux Essais, Buch IV, 1-3 (Proseminar)

• WiSe 2013-13: (mit Prof. Dr. Mark Siebel) Einführung in die Philosophie der Sprache und der Logik (Proseminar)

• SoSe 2013: Edmund Husserls Theorie der Intentionalität (Hauptseminar)

• SoSe 2013: Einführung in die Modallogik (Proseminar)

• SoSe 2013: Argumentieren und Rechnen (Proseminar)

• WiSe 2012-13: Einführung in die intuitionistische Logik (Hauptseminar)

• WiSe 2012-13:  Analytische vs. synthetische Logikkalküle (Proseminar)

Philosophisches Seminar, Universität Hamburg
Lehrveranstaltungen:

• WiSe 2016-17: Lambda-Kalkül und Berechenbarkeit (Hauptseminar)
• SoSe 2015: Einführung in die Modallogik (Hauptseminar)
• WiSe 2014-15: Gentzens Sequenzenkalküls (Hauptseminar)
• WiSe 2013-14: Berechenbarkeit und Unvollständigkeit: Eine  Einführung (Hauptseminar)
• WiSe 2012-13: Begriffe, Funktionen, Operationen: Frege, Husserl and beyond (Hauptseminar)
• SoSe 2012: Argumentieren und Rechnen: Der Weg von Leibniz’ Traum eines Calculus ratiocinator bis zu Turings universellen Machine (Proseminar)
• WiSe 2011-12:  Einführung in die intuitionistische Logik (Hauptseminar)
• SoSe 2011:  Einführung in die Modallogik (Proseminar)
• WiSe 2010-11: Gentzens Sequenzenkalküls (Hauptseminar)
• SoSe 2010: Edmund Husserls Theorie der Intentionalität (Hauptseminar)
• SoSe 2010: Axiomatische Kalküle vs. Kalküle des natürlichen Schließens (Proseminar)
• WiSe 2009-10: Modallogik (Hauptseminar)
• WiSe 2009-10:  Themen und Probleme des Logischen Objektivismus (Proseminar)

Scuola Normale Superiore, Pisa (Classe di Lettere e Filosofia)

• 2007-2008: Tutorium zum Seminar "Leibniz und das Kontinuum- Problem" (Prof. Massimo Mugnai)
• 2004-2006 Blockseminar: "Husserls Logische Untersuchungen"
• 2001-2002 Blockseminare: 
  • "Syllogistik" innerhalb des Seminars Aristoteles Lehre vom Satz (Prof. Francesco del Punta)
  • "Der Begriff der Quantität in Hegels Wissenschaft der Logik" 
    innerhalb des Seminars Hegel. Wissenschaft der Logik (Prof. Claudio Cesa)
  • "Husserl: Philosophie der Arithmetik " 
    innerhalb des Seminars Geschichte der Mathematik (Prof. Ettore Casari)
• 2000-2001 Blockseminare: 
  • "Suarez: Meditationes" innerhalb des Seminars Der Begriff der Form in Thomas von Aquin Metaphysik (Prof. Francesco del Punta)
  • "Kant: Analogie der Erfahrung" innerhalb des Seminars Kant. Kritik der reinen Vernunft (Prof. Claudio Cesa)
  • "Whitehead: Mereologie" innerhalb des Seminars Eines als Vieles und Vieles als Eins (Prof. Ettore Casari)