Algebraische und logische Grundlagen der Informatik: Lehre

Abschlussarbeiten

Wir bieten Bachelor-, Master- und Diplomarbeiten sowie den großen Beleg (INF-D-950 und INF-25-Ma-GB) an. Die Themen der Arbeiten haben in der Regel einen engen Bezug zu aktuellen Forschungsprojekten des Lehrstuhls. Zur Vorbereitung auf die Bachelorarbeit dient das Bachelorseminar und zur Vorbereitung auf den großen Beleg das Belegseminar (siehe unten). Bei Interesse an einer Abschlussarbeit wenden Sie sich bitte an Sascha Klüppelholz.

Wintersemester 2025

Lecture “Model Checking” (WS 2025)
Christel Baier; Sascha Klüppelholz • 4/4/0 SWS • auf Englisch
Module: CMS-LM-ADV, CMS-LM-AI, CMS-LM-MOC, INF-25-MA-FTK-MC, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL

Lecture “Modal Logic” (WS 2025)
Jakob Piribauer • 2/2/0 SWS • auf Englisch
Module: CMS-LM-BAS, INF-25-Ma-FTK-ASAI, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL

Analyse eines Forschungsthemas (WS 2025)
Christel Baier • Projektbearbeitung • auf Deutsch
Module: INF-D-960, INF-25-MA-AFT

Bachelorseminar (WS 2025)
Christel Baier • 0/4/0 SWS • auf Deutsch
Module: INF-25-BA-BASE

Belegseminar (WS 2025)
Christel Baier • 0/4/0 SWS • auf Deutsch oder Englisch
Module: INF-25-MA-BSEM

CMS Research Project “Model Checking” (WS 2025)
Sascha Klüppelholz • 0/0/12 SWS • auf Englisch
Module: CMS-PRO

Forschungsprojekt (WS 2025)
Christel Baier • Projekte (100 Stunden) • auf Deutsch oder Englisch
Module: INF-25-MA-FP

Komplexpraktikum „Modellierung und quantitative Systemanalyse II“ (WS 2025)
Christel Baier • 0/0/8 SWS • auf Deutsch oder Englisch
Module: INF-MA-PR

Komplexpraktikum „Modellierung und quantitative Systemanalyse I“ (WS 2025)
Christel Baier • 0/0/4 SWS • auf Deutsch oder Englisch
Module: INF-MA-PR

Laborkurs „Modeling and Automated Verification“ (WS 2025)
Christel Baier • 0/2/0 SWS • auf Englisch
Module: CMS-LM-ADV, CMS-LM-MOC, MCL-PS

Profilprojekt Anwendungsforschung (WS 2025)
Christel Baier • 8P/PB • auf Deutsch oder Englisch
Module: INF-PM-FPA

Profilprojekt Grundlagenforschung (WS 2025)
Christel Baier • 8P/PB • auf Deutsch oder Englisch
Module: INF-PM-FPG

Proseminar „Binäre Entscheidungsgraphen“ (WS 2025)
Sascha Klüppelholz • 0/2/0 SWS • auf Deutsch
Module: INF-B-610, INF-D-520

Proseminar „Theoretische Informatik“ (WS 2025)
Sascha Klüppelholz • 0/2/0 SWS • auf Deutsch
Module: INF-25-BA-WIA, INF-B-610, INF-D-520

Research Seminar “Formal Methods” (WS2025) (WS 2025)
Christel Baier • 0/2/0 SWS • auf Englisch
Module: INF-PM-FOR

Seminar “Selected Topics in Logic and Verification” (WS 2025)
Christel Baier • 0/2/0 SWS • auf Englisch
Module: CMS-LM-ADV, CMS-LM-MOC, CMS-SEM-A, INF-AQUA, INF-B-510, INF-B-520, INF-D-940, MCL-PS

Teamprojekt „Model Checking“ (WS 2025)
Sascha Klüppelholz • 0/0/8 SWS • auf Englisch
Module: CMS-LM-TEA

Sommersemester 2025

Lecture “Advanced Logics” (SS 2025)
Christel Baier; Jakob Piribauer • 4/2/0 SWS • auf Englisch
Module: CMS-LM-ADV, CMS-LM-MOC, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL

CMS Research Project “Model Checking” (SS 2025)
Sascha Klüppelholz • 0/0/12 SWS • auf Englisch
Module: CMS-PRO

Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅰ“ (SS 2025)
Christel Baier • 0/0/4 SWS • auf Deutsch oder Englisch
Module: INF-MA-PR

Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅱ“ (SS 2025)
Christel Baier • 0/0/8 SWS • auf Deutsch oder Englisch
Module: INF-MA-PR

Lab Course “Modeling and Automated Verification” (SS 2025)
Christel Baier • 0/2/0 SWS • auf Englisch
Module: CMS-LM-ADV, CMS-LM-MOC, MCL-PS

Profilprojekt „Forschungsprojekt Formale Methoden“ (SS 2025)
Christel Baier • 0/0/8 SWS • auf Deutsch oder Englisch
Module: INF-PM-FPG

Proseminar „Binäre Entscheidungsgraphen“ (SS 2025)
Sascha Klüppelholz • 0/2/0 SWS • auf Deutsch
Module: INF-B-610, INF-D-520

Proseminar „Theoretische Informatik“ (SS 2025)
Sascha Klüppelholz • 0/2/0 SWS • auf Deutsch
Module: INF-B-610, INF-D-520

Research Seminar “Formal Methods” (SS 2025)
Christel Baier • 0/2/0 SWS • auf Englisch
Module: INF-PM-FOR

Seminar “Selected Topics in Logic and Verification” (SS 2025)
Christel Baier • 0/2/0 SWS • auf Englisch
Module: CMS-LM-ADV, CMS-LM-MOC, CMS-SEM, INF-AQUA, INF-D-940, MCL-PS, INF-B-510, INF-B-520

Team Project “Model Checking” (SS 2025)
Sascha Klüppelholz • 0/0/8 SWS • auf Englisch
Module: CMS-LM-TEA