Teaching
The content on this page was translated automatically.
Summer semester 2025
Algorithms and data structures
Scope: 4 SWS
Lecturers: Prof. Dr. Martin Lange
Target group: Master of Computer Science
Moodle course: https: //moodle.uni-kassel.de/course/view.php?id=17856
Software Verification
Scope: 4 SWS
Lecturers: Prof. Dr. Martin Lange
Target group: Bachelor of Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=17857
Laboratory SAT-Solver
Scope: 4 SWS
Lecturer: Dr. Norbert Hundeshagen
Target group: Bachelor of Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=17769
Seminar at FG TI/FM
Scope: 2 SWS
Lecturer: Prof. Dr. Martin Lange, Dr. Norbert Hundeshagen
Target group: Bachelor of Computer Science
Moodle course: https: //moodle.uni-kassel.de/course/view.php?id=17768