Profilprojekt „Forschungspro­jekt Formale Methoden“

Prof. Dr. Christel Baier
SWS: (0/0/8), auf Deutsch oder Englisch

Beschreibung

Das Profilprojekt richtet sich an Studierende der Studiengänge Master und Diplom Informatik. Teilnehmer:innen befassen sich mit ausgewählten Themen aus den Bereichen Model Checking, Automatentheorie und Logik. Dabei werden Kenntnisse für die forschungsorientierte Spezialisierung und selbstständige wissenschaftliche Arbeit erworben.

Registrierung

Die Teilnahme setzt eine Anmeldung in OPAL bis zum 21.10.2024 voraus.

Prüfungsleistung und anrechenbare Module

Master Informatik

• INF-PM-FPG: Profilprojekt Grundlagenforschung in der Informatik (Prüfungsform nach Modulbeschreibung)

Diplom Informatik

• INF-PM-FPG: Profilprojekt Grundlagenforschung in der Informatik (Prüfungsform nach Modulbeschreibung)

Kontakt