Research Project
From International Center for Computational Logic
Research Project
Course with SWS 0/0/100h (lecture/exercise/practical) in WS 2026
The Research Project 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 specialization and independent research work.
Registration
If you want to take the Research Project with our Chair, please contact Sascha Klüppelholz.
Examination
Master Computer Science (PO 2025)
- INF-25-Ma-FP: Komplexe Leistung (200 hours)
Diplom Informatik (PO 2025)
- INF-25-Ma-FP: Komplexe Leistung (200 hours)
The Komplexe Leistung (complex or multi-part examination) consists of a project report and a presentation (30-minute talk, 15-minute Q&A session).
Contact
In case of organizational questions, please contact Sascha Klüppelholz.
