Summer term 2021
| Nachklausurtutorium 2021 | Yasmine Briefs, Katharina Buchthal, Mikka Rainer, Clara Rubeck |
Summer term 2020
| Neural-Symbolic Computing | Bernd Finkbeiner |
Winter term 2019/2020
| Verification | Bernd Finkbeiner |
Summer term 2019
| Hybrid Systems | Bernd Finkbeiner | |
| Softwarezuverlässigkeit | Bernd Finkbeiner |
Winter term 2018/2019
| Automata, Games, and Verification | Bernd Finkbeiner | |
| Hyperproperties | Bernd Finkbeiner |
Summer term 2018
| Embedded Systems | Bernd Finkbeiner, Swen Jacobs | |
| Formal Verification of Security Protocols | Bernd Finkbeiner, Swen Jacobs |
Winter term 2017/2018
| Nachklausurtutorium 2018 | Lena Becker, Lennard Gäher, Philippe Heim, Hanna Nebelung | |
| Programmierung 1 | Bernd Finkbeiner | |
| Reactive Synthesis | Swen Jacobs, Martin Zimmermann | |
| Time Machine | Bernd Finkbeiner |
Winter term 2016/2017
| Runtime Verification | Bernd Finkbeiner | |
| Verification | Bernd Finkbeiner |
Summer term 2016
| Embedded Systems | Bernd Finkbeiner, Swen Jacobs |
Winter term 2015/2016
| Einführung in eingebettete Systeme | Bernd Finkbeiner | |
| Trends in Software Synthesis | Bernd Finkbeiner |
Summer term 2015
| Softwarezuverlässigkeit | Bernd Finkbeiner |
Winter term 2014/2015
| Nachklausurtutorium 2015 | Edgar Tretschk, Anna Wilhelm, Nathalie Zeller | |
| Programmierung 1 | Bernd Finkbeiner |