Profilmodule

Prof. Dr. Baier

Sprache: Deutsch oder Englisch

Beschreibung

Die folgenden Module richten sich an Studierende der Studiengänge Master und Diplom Informatik. Die Teilnehmer 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.

Forschungsprojekt Formale Methoden (0/0/8)

Es kann ein Forschungsprojekt im Modul INF-PM-FPG aufgenommen werden. Es ist möglich, dieses Projekt im Rahmen des Komplexpraktikums zu bearbeiten. Interessierte Studenten und Studentinnen melden sich bitte bei Dr. Klüppelholz an.