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
Software test and quality management (SQM)	Lecture + Exercise (LE)	WS 24/25	2

Seminars
Title	Type	Semester	SWS
Proseminar Software Engineering: Outstanding Minds in Computer Science	Proseminar (PS)	WS 24/25	2

Practical courses
Title	Type	Semester	SWS
Practical course: Advanced Software Development Tools	Practical course (P)	WS 24/25	4

Theses

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

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