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