Forschungspro­jekt "Formale Methoden"

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

Veränderung der Lehrveranstaltung wegen COVID-19

Aufgrund der aktuellen COVID-19 Ausbrüchen hat die Universitätsleitung entschieden, alle Präsenzveranstaltungen bis mindestens 04.Mai 2020 abzusagen (Stand 19.März). Als Ersatz für die Vorlesungen und Übungen werden zu Beginn des Semester (in der Woche vom 06.April) bis zum Beginn des Unterrichts als Präsenzveranstaltung Onlinekurs via OPAL zur Verfügung gestellt.

Bitte informieren Sie sich über die aktuellen Entwicklungen und Entscheidungen der Universität unter https://tu-dresden.de/corona und https://tu-dresden.de/studium/im-studium/coronavirus/

Bitte halten Sie sich auf den aktuellen Stand, indem Sie diese Seite und https://tu-dresden.de/corona regelmäßig besuchen.

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

Bitte schreiben Sie sich in OPAL ein.

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