Lehre

Sommersemester 2026

Titel	Art	Credits	Studiengang
Einführung in die Logik	Vorlesung (Pflicht)	5	Bachelor
Concurrent Programming	Vorlesung (Wahlpflicht)	5	Bachelor
Advanced Topics in Verification	Vorlesung (Wahlpflicht)	5	Master
Nebenläufigkeitstheorie	Vorlesung (Wahlpflicht)	10	Master
SEP: Automaton Defense	SEP	7	Bachelor
Teamprojekt	Teamprojekt	5	Bachelor
Seminar	Seminar	5	Bachelor/Master

Vergangene Semester

Titel	Art	Credits	Studiengang
Theoretische Informatik 1	Vorlesung (Pflicht)	5	Bachelor
Einführung in die Logik	Nachschreibeklausur	5	Bachelor
Models of Computation	Vorlesung (Wahlpflicht)	5	Bachelor
Programmanalyse	Vorlesung (Wahlpflicht)	5	Bachelor/Master
Praktikum Programmanalyse	Praktikum	5	Bachelor/Master
Seminar	Seminar	5	Bachelor/Master
Algorithmische Automatentheorie	Vorlesung (Wahlpflicht)	10	Master
Spiele mit Perfekter Information	Vorlesung (Wahlpflicht)	5	Master

Titel	Art	Credits	Studiengang
Einführung in die Logik	Vorlesung (Pflicht)	5	Bachelor
Theoretische Informatik 1	Nachschreibeklausur	5	Bachelor
ChatPBE - Interactive Programming By Example Solver	SEP	7	Bachelor
Teamprojekt	Teamprojekt	5	Bachelor
Seminar	Seminar	5	Bachelor/Master
Komplexitätstheorie	Vorlesung (Wahlpflicht)	10	Master
Nebenläufigkeitstheorie	Vorlesung (Wahlpflicht)	10	Master
Semantik	Vorlesung (Wahlpflicht)	10	Master

Titel	Art	Credits	Studiengang
Theoretische Informatik 1	Vorlesung (Pflicht)	5	Bachelor
Einführung in die Logik	Nachschreibeklausur	5	Bachelor
Theoretische Informatik 2	Nachschreibeklausur	5	Bachelor
Seminar	Seminar	5	Bachelor/Master
Algorithmische Automatentheorie	Vorlesung (Wahlpflicht)	10	Master
Spiele mit perfekter Information	Vorlesung (Wahlpflicht)	5	Master
Praktikum Programmanalyse	Praktikum	5	Master

Titel	Art	Credits	Studiengang
Einführung in die Logik	Vorlesung (Pflicht)	5	Bachelor
Theoretische Informatik 2	Vorlesung (Pflicht)	5	Bachelor
Seminar	Seminar	5	Bachelor/Master
Nebenläufigkeitstheorie	Vorlesung (Wahlpflicht)	10	Master

Algebraische Automatentheorie	Winter 2018/19, Winter 2017/18
Algorithmische Automatentheorie	Sommer 2021, Sommer 2019, Sommer 2018, Sommer 2017, Sommer 2016, Winter 2013/14, Winter 2014/15, Winter 2012/13, Sommer 2011
Programmanalyse	Winter 2018/19, Winter 2017/18, Winter 2015/16 (BOA), Winter 2013/14 (BOA)
Komplexitätstheorie	Winter 2021/22, Winter 2018/19, Winter 2017/18, Winter 2016/17, Winter 2015/16
Nebenläufigkeitstheorie	Winter 2021/22, Winter 2020/21, Winter 2019/20, Winter 2018/19, Winter 2017/18, Winter 2016/17, Sommer 2015, Sommer 2014, Winter 2011/12, Winter 2010/11
Spiele mit Perfekter Information	Sommer 2019, Sommer 2018, Sommer 2017
Einführung in die Logik	Sommer 2023, Sommer 2022, Sommer 2021, Sommer 2020, Sommer 2019, Sommer 2018, Sommer 2017, Sommer 2016, Sommer 2015, Sommer 2014, Sommer 2013, Sommer 2012
Semantik	Winter 2019/20, Sommer 2018
Seminar	Sommer 2023, Winter 2022/23, Sommer 2022, Winter 2021/22, Sommer 2021, Winter 2020/21, Sommer 2020, Winter 2019/20, Sommer 2019, Winter 2018/19, Sommer 2018, Winter 2017/18, Sommer 2017, Winter 2016/17, Sommer 2014
SEP	Sommer 2020 (KittyCAT), Sommer 2019 (Kitchen App), Sommer 2018 (Hack your habits), Sommer 2017 (UnicornPL)
Teamprojekt / Praktikum	Sommer 2019 (Programmanalyse), Winter 2018/19 (Program Verification), Sommer 2018 (Programmanalyse), Winter 2017/18 (Automata Learning), Summer 2017 (Kryptologie)
Theoretische Informatik 1	Winter 2022/23, Winter 2021/22, Winter 2020/21, Winter 2019/20,Winter 2018/19, Winter 2017/18, Winter 2016/17, Sommer 2016 (FGdP)
Theoretische Informatik 2	Sommer 2023, Sommer 2022, Sommer 2021, Sommer 2020, Sommer 2019, Sommer 2018, Sommer 2017

Skripte

Abschlussarbeiten

Wir bieten Bachelor- und Masterarbeiten im Rahmen aktueller Forschung an. Kontaktieren Sie uns und wir sprechen über Themen!

Lasse Karls	Finding memory model related bugs in database applications.	TU Braunschweig	2025
Natalia Gacek	An Online Solver for Consistency as a Theory.	TU Braunschweig	2025
Johannes Schmechel	Concolic Execution of Multi-threaded Assembly Programs.	TU Braunschweig	2025
Finn Thieme	Parallelisierung von Bounded-Model-Checking-Verfahren über Kommunikationsconstraints.	TU Braunschweig	2022
Jan Steiner	tba	TU Braunschweig	2021
René Maseli	Memory-Model-aware Static Analysis of Concurrent Programs.	TU Braunschweig	2021
Christian Reineke	Christian Reineke	TU Braunschweig	2020
Thomas Haas	Probabilistic Programming: Applications of Martingales beyond Reachability.	TU Braunschweig	2019
Sören van der Wall	Bounded Analysis of Concurrent and Recursive Programs.	TU Braunschweig	2019
Pascal Baumann	tba	TU Braunschweig	2019
Philip Holzhüter	Permissive Strategies for Perfect-Information Games.	TU Braunschweig	2018
Elisabeth Neumann	Algorithms for Context-free Games: A comparison of Saturation, Guess & Check and Summarization.	TU Kaiserslautern	2017
Benjamin Eichler	Verification of Publish Subscribe Systems.	TU Braunschweig	2017
Mike Becker	Runtime Verification of Sequential Consistency for ARM.	TU Braunschweig	2017
Fajar Haifani	Antichain Optimizations using Simulation Relations for Context-Free Games.	TU Kaiserslautern	2017
Martin Köhler	CEGAR for Regular Inclusion.	TU Kaiserslautern	2016
Mark Müller	Entwurf und Implementierung eines an IC3 angelehnten Verfahrens zur Prüfung von Inklusionsbeziehungen regulärer Sprachen.	TU Kaiserslautern	2016
Sebastian Wolff	Thread-Modular Reasoning for Heap-Manipulating Programs: Exploiting Pointer Race Freedom.	TU Kaiserslautern	2015
Matteo Settenvini	Algorithmic analysis of name-bounded programs.	TU Kaiserslautern	2014
Susanne Göbel	A polynomial translation of mobile ambients into safe Petri nets.	TU Kaiserslautern	2014
Florian Furbach	Automata-theoretic control for Total Store Ordering architectures.	TU Kaiserslautern	2013
Anselme Tueno	Verifikation von Netzwerkprotokollen mit Level-k-Baumersetzungssystemen.	TU Kaiserslautern	2011
Eike Möhlmann	Hiding relaxed semantics from a user - design and implementation of fence insertion algorithms for concurrent programs.	LIAFA and University of Oldenburg	2010
Sven Linker	Model checking pi-calculus against temporal connectedness properties.	University of Oldenburg	2008
Tim Strazny	Entwurf und Implementierung von Algorithmen zur Berechnung von Petrinetz-Semantiken für Pi-Kalkül-Prozesse.	University of Oldenburg	2007

Jonas Gillner	Verification under Weak Memory Models: Integrating a Stateless Model Checking Algorithm into a Bounded Model Checking Framework	TU Braunschweig	2025
Theresa Stieler	Library Semantics Under Axiomatic Memory Models.	TU Braunschweig	2024
Nico Pietzsch	Finding memory safety bugs in fine-grained concurrent programs.	TU Braunschweig	2023
Dogukan Hizir	Bug-Explanation mit Dartagnan.	TU Braunschweig	2023
Benjamin Hennies	tba	TU Braunschweig	2021
Jan Gruenke	tba	TU Braunschweig	2021
Chek-Manh Loi	tba	TU Braunschweig	2021
Edgar Schmidt	tba	TU Braunschweig	2020
Frieso Gerken	tba	TU Braunschweig	2020
Kai Harz	Good-for-Games Automaten: Ein Überblick.	TU Braunschweig	2019
Stephan Lampe	TableauWiz: Ein Tool zur Visualisierung von Varianten der aussagenlogischen Tableau-Methode.	TU Braunschweig	2019
Sophie Ketelsen	Bedrohungs- und Risikoanalyse für den Einsatz von kryptographischem Schlüsselmaterial in kritischen Infrastrukturen am Beispiel der Datenübertragung in Bahnautomatisierungssystemen.	TU Braunschweig	2019
Thomas Graave	tba	TU Braunschweig	2018
Janosch Reppnow	Compositional verification for Petri nets.	TU Braunschweig	2018
Nicolas Köcher	Automata-theoretic construction of semi-linear sets.	TU Braunschweig	2018
Volker Heberle	Simulation von Kellerautomaten, die das Ende der Eingabe erkennen, durch klassische Kellerautomaten und die Äquivalenz dieser Modelle.	TU Braunschweig	2017
Nadja Stachowiak	Splicing in Formal Language - a Survey.	TU Braunschweig	2017
Christian Reineke	Implementierung einer Testumgebung für Varianten des CYK-Algorithmus.	TU Braunschweig	2017
Felix Stutz	Operations on a Symbolic Domain for Synthesis.	TU Kaiserslautern	2017
Jakob Wenzel	Symbolic Heaps for a Thread-Modular Linearizability Analysis.	TU Kaiserslautern	2016
Albert Schimpf	Development and Implementation of a Modular SAT-Solver Framework.	TU Kaiserslautern	2016
Jonathan Kolberg	Relating Semantics.	TU Kaiserslautern	2015
Martin Köhler	Recognizability of rational sets.	TU Kaiserslautern	2014
Phoebe Buckheister	Parikh's theorem beyond pushdown automata.	TU Kaiserslautern	2013
Albert Schimpf	Wurzelberechnungen in Monoiden mit konvergenten Darstellungen.	TU Kaiserslautern	2013
Susanne Göbel	A logical characterisation of availability languages.	TU Kaiserslautern	2011
Jan Bormann	A geometric approach to the coverability problem in linear while programs.	TU Kaiserslautern	2011
Philipp Gringel	Modellierung und Verifikation eines holonischen Transportsystems mit dem Pi-Kalkül.	University of Oldenburg	2007

Lehre

Sommersemester 2026

Vergangene Semester

Skripte

Abschlussarbeiten

Für alle

Für Studierende

Interne Tools

Kontakt