Forschungspro­jekt "Formale Methoden"

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

Beschreibung

Das Forschungsprojekt richtet sich an Studierende der Studiengänge Master und Diplom Informatik. Die Teilnehmende befassen sich mit ausgewählten Themen aus den Bereichen Model Checking, Automatentheorie und Logik. Dabei werden Kenntnisse für die forschungsorientierte Spezialisierung und selbständige wissenschenschaftliche Arbeit erworben.

Registrierung

Eine Teilnahme setzt eine Anmeldung in OPAL bis zum 18.04.2021 vorraus.

Anrechenbare Module

Master Informatik

• INF-PM-FPG: Profilprojekt Grundlagenforschung in der Informatik

Diplom Informatik

• INF-PM-FPG: Profilprojekt Grundlagenforschung in der Informatik

Es kann ein Forschungsprojekt direkt im Modul aufgenommen werden. Es ist ebenfalls möglich, dieses Projekt im Rahmen des Komplexpraktikums zu bearbeiten. Interessierte Studierende melden sich bitte bei Dr. Klüppelholz.

Kontakt