Details for the modules can be found in the module handbook and exam regulations of the faculty.
Foundations of Software Engineering
Software Engineering Lab
Foundations of Program Semantics
Reactive Systems Design
Software Engineering Project
explores current topics in software engineering and programming languages, where students carry out a guided literature survey, deliver a scientific presentation, and write a scientific essay.