Forschungsprojekt

Lehrveranstaltung mit Umfang Projekte (100 Stunden) im WS 2025

Dozent

Christel Baier

Umfang (SWS)

Projekte (100 Stunden)

Sprache

auf Deutsch oder Englisch

Module

INF-25-MA-FP

Information

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)

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.