Teaching

Technische Universität Dortmund

• POPL Seminar (Winter 2021/2022)
• Datenstrukturen, Algorithmen und Programmierung 1, Praktikum (Winter 2021/2022)
• Current topics in logic-based software engineering (summer 2021)
• Logische Methoden des Software Engineering (Winter 2020/2021)
• Current topics in logic-based software engineering (summer 2020)
• POPL Seminar (Winter 2019/2020)
• Funktionale Programmierung (Winter 2019/2020)
• Proseminar Geschichte der Programmierung, Ansprechpartner (Sommer 2019)
• Datenstrukturen, Algorithmen und Programmierung 2, Praktikum (Sommer 2019)
• POPL Seminar (Winter 2018/2019)
• Funktionale Programmierung (Winter 2018/2019)

University of Innsbruck

• Functional programming (fall 2015/2016)

University of Warsaw (MIMUW)

• Indywidualny projekt programistyczny (wiosna 2015).
• Podstawy matematyki (zima 2014/2015).
• Indywidualny projekt programistyczny (wiosna 2014).
• Podstawy matematyki (zima 2013/2014).
• Indywidualny projekt programistyczny (wiosna 2013).
• Podstawy matematyki (zima 2012/2013).
• Wstęp do programowania (podejście funkcyjne) (zima 2011/2012).