Teaching
TU Dortmund
- [WS 2017/18] Softwarekonstruktion
[link]
- [WS 2017/18] Projektgruppe "ACC++"
[link]
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]