Algebraische und logische Grundlagen der Informatik: Lehre

Abschlussarbeiten

Wir bieten Bachelor-, Master- und Diplomarbeiten sowie den großen Beleg 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 2026

Vorlesung „Model Checking“ (WS 2026)
Christel Baier; Sascha Klüppelholz • 4/4/0 SWS • auf Englisch
Module: INF-25-Ma-FTK-MC

Vorlesung „Modal Logic“ (WS 2026)
Jakob Piribauer • 2/2/0 SWS • auf Englisch
Module: INF-25-Ma-FTK-MoL

Analyse eines Forschungsthemas (WS 2026)
Christel Baier • 0/0/40h SWS • auf Deutsch oder Englisch
Module: INF-25-Ma-AFT

Bachelorseminar (WS 2026)
Christel Baier • 0/4/0 SWS • auf Deutsch
Module: INF-25-Ba-BaSe

Belegseminar (WS 2026)
Christel Baier • 0/4/0 SWS • auf Deutsch oder Englisch
Module: INF-25-Ma-BSem

CMS-Forschungsprojekt „Model Checking“ (WS 2026)
Sascha Klüppelholz • 0/0/12 SWS • auf Englisch
Module: CMS-PRO

Exploration of a Research Subject (WS 2026)
Christel Baier • 0/0/40h SWS • auf Deutsch oder Englisch
Module: INF-25-Ma-ERS

Forschungsprojekt (WS 2026)
Christel Baier • 0/0/100h SWS • auf Deutsch oder Englisch
Module: INF-25-Ma-FP

Großer Beleg (WS 2026)
Christel Baier • 0/0/100h SWS • auf Deutsch oder Englisch
Module: INF-25-Ma-GB

Proseminar „Binäre Entscheidungsgraphen“ (WS 2026)
Sascha Klüppelholz • 0/2/0 SWS • auf Deutsch
Module: INF-25-Ba-WIA

Proseminar „Theoretische Informatik“ (WS 2026)
Sascha Klüppelholz • 0/2/0 SWS • auf Deutsch
Module: INF-25-Ba-WIA

Seminar „Games and Graphs“ (WS 2026)
Christel Baier; Jakob Piribauer • 0/2/0 SWS • auf Englisch
Module: INF-25-Ma-FTK-Sem

Seminar „Selected Topics in Logic and Verification“ (WS 2026)
Christel Baier; Jakob Piribauer • 0/2/0 SWS • auf Englisch
Module: CMS-SEM, INF-25-Ma-FTK-Sem

Sommersemester 2026

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

Analyse eines Forschungsthemas (SS 2026)
Christel Baier • Projektbearbeitung • auf Deutsch oder Englisch
Module: INF-D-960, INF-25-MA-AFT

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

Belegseminar (SS 2026)
Christel Baier • 0/4/0 SWS • auf Deutsch oder Englisch
Module: INF-25-MA-BSem

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

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

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

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

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

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

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

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

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

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

Seminar “Selected Topics in Logic and Verification” (SS 2026)
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

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

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

weitere Lehrveranstaltungen anzeigen