Teaching

Computability and complexity

Scope: 2+2 SWS
Lecturer: Dr. Norbert Hundeshagen
Target group: Bachelor of Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=19672

Introduction to formal verification

Duration: 2+2 SWS
Lecturer: Prof. Dr. Martin Lange
Target group: Bachelor of Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=19673

Database Theory

Duration: 2+2 SWS
Lecturer: Prof. Dr. Martin Lange
Target group: Master Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=19674

Laboratory Heuristic Search

Scope: 2 SWS
Lecturer: Prof. Dr. Martin Lange
Target group: Bachelor of Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=19676

Seminar at FG TI/FM

Duration: 2 SWS
Lecturer: Prof. Dr. Martin Lange
Target group: Bachelor of Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=19675

Advanced seminar "Theoretical Computer Science"