Teaching

TU Clausthal

[WS 2016/17] Software Systems Engineering [link]
[WS 2016/17] Informatik I [link]
[SS 2016] Proseminar "Model-based Testing" [link]
[WS 2015/16] Software Systems Engineering [link]

TU Dortmund

[SS 2012] Proseminar "Runtime Verification" [link]
[WS 2011/12] Proseminar "Model-based Testing" [link]
[SS 2011] Introduction to Automata Learning in Formal Methods in Computer Science (together with Bernhard Steffen and Maik Merten)
[SS 2011] Proseminar "Automata Learning" [link]

Summer Schools

[2011] A practical introduction to active learning (together with Bernhard Steffen and Maik Merten), SSFLA 2011 [link]