Winter Semester 2026/27

The content on this page was translated automatically.

Computability and Complexity

Scope: 2+2 SWS
Instructor: Dr. Norbert Hundeshagen
Target Audience: Bachelor’s in Computer Science
Moodle Course: https://moodle.uni-kassel.de/course/view.php?id=23683


Introduction to Formal Verification

Scope: 2+2 SWS
Instructor: Prof . Dr. Martin Lange
Target audience: Bachelor’s students in Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=23684


Verification of Embedded Systems

Scope: 2+2 SWS
Instructor: Prof . Dr. Martin Lange
Target audience: Computer Science students
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=23684

SAT Solver Lab

Scope: 4 SWS
Instructor: Dr. Norbert Hundeshagen
Target audience: Bachelor’s students in Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=23685

 

Seminar at the TI/FM Research Group

Scope: 2 SWS
Instructor: Prof . Dr. Martin Lange
Target audience: Bachelor’s students in Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=23686

Advanced Seminar "Theoretical Computer Science"