Summer term 2023
| Ethics for Nerds | Sarah Sterz, Kevin Baum, Holger Hermanns | |
| Statistics Lab | Andreas Schmidt |
Winter term 2022/2023
| Hands-On Dependability | Andreas Schmidt | |
| Programming 1 | Holger Hermanns | |
| Retake Tutorial Programming 1 | Benedict Bliem, Albert-Antoniu Greaca, Niklas Scholz, Aeneas Leon Sommer | |
| Space Informatics | Juan Fraire, Andreas Schmidt |
Summer term 2022
| Computer Ethics | Sarah Sterz, Kevin Baum | |
| Concurrent Programming | Holger Hermanns | |
| Ethics for Nerds | Kevin Baum, Sarah Sterz, Holger Hermanns | |
| Hands-On Dependability | Andreas Schmidt | |
| Quantitative Model Checking | Holger Hermanns, Martina Maggio |
Winter term 2021/2022
| Hands-On Dependability | Andreas Schmidt |
Summer term 2021
| Computer Ethics for IT & Law | Sarah Sterz, Kevin Baum | |
| Ethics for Nerds | Sarah Sterz, Kevin Baum, Holger Hermanns | |
| Space Informatics | Juan Fraire, Holger Hermanns |
Winter term 2020/2021
| Concurrency Theory | Holger Hermanns | |
| Einführung Eingebettete Systeme | Holger Hermanns | |
| Space and Satellite Networking | Juan Fraire |
Summer term 2020
| Advanced Topics in Approximation Algorithms | Tobias Mömke | |
| Ethics for Nerds | Sarah Sterz, Kevin Baum, Holger Hermanns | |
| Nebenläufige Programmierung | Holger Hermanns | |
| Space Informatics | Juan Fraire, Holger Hermanns |
Winter term 2019/2020
| Algorithms for Big Data | Tobias Mömke | |
| Concurrency Theory | Holger Hermanns | |
| Nachklausurtutorium Programmierung 1 | Nils Husung, Janine Lohse, Benjamin Peters | |
| Programmierung 1 | Holger Hermanns, Tobias Mömke |
Summer term 2019
| Ethics for Nerds | Sarah Sterz, Kevin Baum, Holger Hermanns | |
| Nebenläufige Programmierung | Holger Hermanns | |
| Quantitative Model Checking | Daniel Stan | |
| Space Informatics | Juan Fraire, Holger Hermanns |
Winter term 2018/2019
| Probabilistic Models of Concurrency | Holger Hermanns, Verena Wolf | |
| Verification | Holger Hermanns, Daniel Stan |
Summer term 2018
| Bits in Space | Holger Hermanns, Gilles Nies | |
| Ethics for Nerds | Kevin Baum, Holger Hermanns | |
| Space Informatics | Juan Fraire, Holger Hermanns |
Winter term 2017/2018
| Advanced Concurrency Theory | Holger Hermanns, Daniel Stan |
Summer term 2017
| Data Networks | Ernst Moritz Hahn, Holger Hermanns | |
| Ethics for Nerds | Kevin Baum, Holger Hermanns | |
| Nebenläufige Programmierung | Holger Hermanns | |
| Quantitative Model Checking | Ernst Moritz Hahn |
Winter term 2016/2017
| Advanced Concurrency Theory | Holger Hermanns | |
| Nachklausurtutorium Programmierung 1 | Raven Beutner, Marie Mühlhaus, Simon Philipp Spies | |
| Programmierung 1 | Holger Hermanns |
Summer term 2016
| Ethics for Nerds | Kevin Baum, Holger Hermanns | |
| Nebenläufige Programmierung | Holger Hermanns |
Winter term 2015/2016
| Formal Engineering of Digital and Hybrid Systems | Ralf Wimmer | |
| Quantified Boolean Formulas: Algorithms and Applications | Ralf Wimmer |
Summer term 2015
| Data Networks | Arnd Hartmanns | |
| Ethik für Nerds | Holger Hermanns | |
| Foundations of Dependable Systems | Holger Hermanns |
Winter term 2014/2015
| Quantitative Model Checking | Holger Hermanns, Jan Krčál | |
| Verification | Holger Hermanns |
Summer term 2014
| Advanced Concurrency Theory | Holger Hermanns | |
| Concurrent Automata | Holger Hermanns, Jan Krčál | |
| Nebenläufige Programmierung | Christian Eisentraut, Holger Hermanns |
Winter term 2013/2014
| Energy Informatics | Holger Hermanns, Verena Wolf | |
| Nachklausurtutorium Programmierung 1 | Lukas Convent, Christopher Hahn, Jana Hofmann, Jan Christian Menz | |
| Programmierung 1 | Holger Hermanns |