Courses Winter Term 2024

Theses

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

Lecture “Model Checking”

Prof. Dr. Christel Baier and Dr. Sascha Klüppelholz
SWS: (4/4/0), in English
Lecture “Model Checking”

Proseminar “Theoretische Informatik”

Prof. Dr. Christel Baier
SWS: (0/2/0), in German
Proseminar “Theoretische Informatik”

Proseminar “Binäre Entscheidungsgraphen”

Dr. Sascha Klüppelholz
SWS: (0/2/0), in German
Proseminar “Binäre Entscheidungsgraphen”

Seminar “Selected Topics in Logic and Verification”

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

Research Seminar “Formal Methods”

Prof. Dr. Christel Baier
SWS: (0/2/0), in English
Research Seminar “Formal Methods”

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”

Introductory Project “Research Project Formal Methods”

Prof. Dr. Christel Baier
SWS: (0/0/8), in German or English
Introductory Project “Research 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”

Prof. Dr. Christel Baier
SWS: (0/2/0), in English
Intragroup event