Lectures
- Specification Techniques SoSe 2018 (lecture assistant)
- Software Development for Industrial Robotics WiSe 2017/18 (lecture assistant)
- Seminar Software Development for the Automotive Industry WiSe 2017/18
- Specification Techniques SoSe 2017 (lecture assistant)
- Software Development for Industrial Robotics WiSe 2016/17 (lecture assistant)
- Seminar Software Development for the Automotive Industry WiSe 2016/17
- Specification Techniques SoSe 2016 (substitutional lecturer on behalf of Prof. Frank Ortmeier due to a lecture free semester)
- Seminar Verifcation Techniques and Testing in the modern Software Engineering WiSe 2015/16
- Specification Techniques SoSe 2015 (lecture assistant)