Lehrveranstaltungen Sommersemester 2024

Abschlussarbeiten

Wir bieten Abschlussarbeiten zu aktuellen Themen aus unserer Forschung an. Wenden Sie sich bei Interesse bitte an Dr. Sascha Klüppelholz.

Vorlesung Advanced Logics

Prof. Dr. Christel Baier
SWS: (4/2/0), auf Englisch
Vorlesung Advanced Logics

Proseminar Theoretische Informatik

Dr. Sascha Klüppelholz
SWS: (0/2/0), auf Deutsch
Proseminar Theoretische Informatik

Seminar Selected Topics in Logic and Verification

Prof. Dr. Christel Baier
SWS: (0/2/0), auf Englisch
Seminar Selected Topics in Logic and Verification

Komplexpraktikum Modellierung und quantitative Systemanalyse I

Prof. Dr. Christel Baier
SWS: (0/0/4), auf Deutsch oder Englisch
Komplexpraktikum Modellierung und quantitative Systemanalyse I

Komplexpraktikum Modellierung und quantitative Systemanalyse II

Prof. Dr. Christel Baier
SWS: (0/0/8), auf Deutsch oder Englisch
Komplexpraktikum Modellierung und quantitative Systemanalyse II

Laborkurs Modeling and Automated Verification

Prof. Dr. Christel Baier
SWS: (0/2/0), auf Englisch
Laborkurs Modeling and Automated Verification

Profilprojekt Formale Methoden

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

CMS Forschungsprojekt Model Checking

Dr. Sascha Klüppelholz
SWS: (0/0/12), auf Englisch
CMS Forschungsprojekt Model Checking

Team Project Model Checking

Dr. Sascha Klüppelholz
SWS: (0/0/8), auf Englisch
Team Project Model Checking

Doktorandenseminar Advances in Probabilistic Model Checking

Gruppen-interne Veranstaltung
Prof. Dr. Christel Baier
SWS: (0/2/0), auf Englisch