Komplexpraktikum Modellierung und quantitative Systemanalyse I

Prof. Dr. 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 14. April 2024 voraus.

Voraussetzungen

Neben dem Interesse an theoretischer Informatik setzt das Praktikum solide Kenntnisse von Model Checking und in der Programmierung voraus. Hierbei 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 rechtzeitig bekannt gegeben.

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

E-Mail senden

work Tel.