Komplexpraktikum "Modellierung und quantitative Systemanalyse I"
Prof. Christel Baier
SWS: (0/0/4), auf Deutsch oder Englisch
Beschreibung
Die Lehrveranstaltung richtet sich an Studierende der Studiengänge Master und Diplom Informatik sowie Diplom Informationssystemtechnik. Das Komplexpraktikum „Modellierung und quantitative Systemanalyse“ der Arbeitsgruppe ermöglicht die Analyse und Bearbeitung praktischer Projekte und Zielsetzungen auf dem Stand der aktuellen Forschung. Die für das Komplexpraktikum verwendeten Aufgaben stammen zum Teil aus den aktuellen Forschungsprojekten unserer Arbeitsgruppe. Informationen zu den Projekten bieten die folgenden Seiten:
Die sich im Rahmen dieser Projekte ergebenden Herausforderungen stammen unter anderem aus folgenden Bereichen:
- Anwendung symbolischer Methoden im Model Checking
- Explizite Model Checking Verfahren
- Reduktionstechniken
- Automaten über endlichen oder unendlichen Wörtern
- Numerische Lösungsverfahren für quantitative Analyse
- Logiken
- Spezifikationsformalismen
- Abstraktionstechniken
- Fallstudien
Registrierung
Eine Teilnahme setzt eine Anmeldung in OPAL bis zum 16.10.2023 voraus.
Voraussetzungen
Neben dem Interesse an Theoretischer Informatik setzt das Praktikum solide Kenntnisse von Model Checking und in der Programmierung voraus. Dabei sind Erfahrungen mit C/C++ oder Java von Vorteil, jedoch nicht zwingend erforderlich.
Ablauf
Alle fristgerecht eingeschriebenen Teilnehmer:innen werden per E-Mail über die Einführungsveranstaltung informiert. Weitere Termine werden später bekanntgegeben.
Prüfungsleistung und Anrechenbare Module
Master Informatik
- INF-MA-PR: Forschung und Entwicklung 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).