Forschungsprojekt

From International Center for Computational Logic

Forschungsprojekt

Course with Projekte (100 Stunden) in WS 2025

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 October 20.

Exam and Creditability

Master Computer Science (PO 2025)

Diplom Informatik (PO 2025)

Contact

In case of organisational questions, please contact Sascha Klüppelholz.