Forschungsprojekt
From International Center for Computational Logic
Forschungsprojekt
Course with Projekte (100 Stunden) in SS 2026
Lecturer
SWS
- Projekte (100 Stunden)
Language
- in German or English
Modules
The Forschungsprojekt is intended for students enrolled in the Master Computer Science and Diplom Informatik programs. Participants study selected topics from the fields of model checking, automata theory and logics. The purpose is to acquire skills for their research-oriented specialisation and independent research work.
Registration
Registration via Opal is required until April 20. We will provide a link to Opal once the course is set up.
Exam and Creditability
Master Computer Science (PO 2025)
- INF-25-MA-FP: exam according to module description
Diplom Informatik (PO 2025)
- INF-25-MA-FP: exam according to module description
Contact
In case of organisational questions, please contact Sascha Klüppelholz.
