Forschungsprojekt "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. 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 selbständige wissenschenschaftliche Arbeit erworben.
Registrierung
Eine Teilnahme setzt eine Anmeldung in OPAL bis zum 16.10.2023 voraus.
Prüfunsleistung 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
Dr. Sascha Klüppelholz
Eine verschlüsselte E-Mail über das SecureMail-Portal versenden (nur für TUD-externe Personen).