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 of this course is for students 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 send an e-mail to studies_alg@mailbox.tu-dresden.de.
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.
Contact
In case of organizational questions, please send an e-mail to studies_alg@mailbox.tu-dresden.de.
