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 |