Teaching

Technische Universität Dortmund

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).