Courses Summer Term 2024

Theses

We are offering theses on various topics from our research. Please contact Dr. Sascha Klüppelholz if you are interest in writing your thesis at our chair.

Lecture Advanced Logics

Prof. Dr. Christel Baier
SWS: (4/2/0), in English
Lecture Advanced Logics

Undergraduate Seminar Theoretische Informatik

Dr. Sascha Klüppelholz
SWS: (0/2/0), in German
Undergraduate Seminar Theoretische Informatik

Seminar Selected Topics in Logic and Verification

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

Komplexpraktikum Modeling and Quantitative System Analysis I

Prof. Dr. Christel Baier
SWS: (0/0/4), in German or English
Komplexpraktikum Modeling and Quantitative System Analysis I

Komplexpraktikum Modeling and Quantitative System Analysis II

Prof. Dr. Christel Baier
SWS: (0/0/8), in German or English
Komplexpraktikum Modeling and Quantitative System Analysis II

Lab Course Modeling and Automated Verification

Prof. Dr. Christel Baier
SWS: (0/2/0), in English
Lab Course Modeling and Automated Verification

Profile Project Formal Methods

Prof. Dr. Christel Baier
SWS: (0/0/8), in German or English
Profile Project Formal Methods

CMS Research Project Model Checking

Dr. Sascha Klüppelholz
SWS: (0/0/12), in English
CMS Research Project Model Checking

Team Project Model Checking

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

Doctoral Seminar Advances in Probabilistic Model Checking

Internal group event
Prof. Dr. Christel Baier
SWS: (0/2/0), in Englisch