Courses (Winter term 2024/25)

Note: The courses Introduction to Quantum Computing and Automotive Software Engineering are not offered this semester.

Lectures
Title Type Semester SWS
Lecture + Exercise (LE) WS 24/25 2
Practical courses
Title Type Semester SWS
Practical course (P) WS 24/25 4

Theses

A list of open and ongoing theses can be found here.

Further courses

An overview of courses in the field of Formal Methods can be found here.