Course Overview

Course list

Summer term 2023

Computer Ethics Sarah Sterz
Concurrent Programming Felix Freiberger, Holger Hermanns
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

Older Courses

For older courses, feel free to browse our teaching archive

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.