Courses (Summer term 2023)

Lectures
Title	Type	Semester	SWS
Softwaretechnik I	Lecture / Exercise (LE)	SS 2023	4

Seminars
Titel	Typ	Semester	SWS
Proseminar Software Engineering: Selected Turing Award Winners of Software Engineering	Proseminar (PS)	SS 2023	2
Software Quality Assurance and Software Test	Seminar (S)	SS 2023	2

Practical Courses
Titel	Typ	Semester	SWS
Current Topics of Quantum Computing	Practical course (P)	SS 2023	3
Practical course: Advanced Software Development Tools	Practical course (P)	SS 2023	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.