Winter semester 2024/25

The content on this page was translated automatically.

Computability and complexity

Scope: 2+2 SWS
Lecturer: Dr. Norbert Hundeshagen
Target group: Bachelor of Computer Science


Introduction to formal verification

Scope: 2+2 SWS
Lecturer: Prof. Dr. Martin Lange
Target group: Bachelor of Computer Science


Verification of embedded systems

Scope: 2+2 SWS
Lecturer: Prof. Dr. Martin Lange
Target group: Master Computer Science


Laboratory Logic Programming

Scope: 2 SWS
Lecturer: Prof. Dr. Martin Lange
Target group: Bachelor of Computer Science

Advanced seminar "Theoretical Computer Science"