Teaching
Summer Term 2022
-
Vorlesung: Theoretische Informatik II
ist eine Bachelor-Pflichtveranstaltung in der theoretischen Informatik. -
Vorlesung: Einführung in die Logik
ist eine Bachelor-Pflichtveranstaltung in der theoretischen Informatik. -
Seminar: Theoretische Informatik
Eine Seminararbeit im Bereich der theoretischen Informatik schreiben.
Winter Term 2021/2022
-
Vorlesung: Theoretische Informatik I
ist eine Bachelor-Pflichtveranstaltung in der theoretischen Informatik. -
Vorlesung: Nebenläufigkeitstheorie
ist eine Master-Wahlpflichtveranstaltung in der theoretischen Informatik. -
Selbststudium: Komplexitätstheorie
ist eine Master-Wahlpflichtveranstaltung in der theoretischen Informatik. -
Seminar: Theoretische Informatik
Eine Seminararbeit im Bereich der theoretischen Informatik schreiben. -
Nachschreibeklausur: Theoretische Informatik 2
ist die Nachschreibeklausur zur Vorlesung Theoretischen Informatik 2 aus dem Sommersemester 2021. -
Nachschreibeklausur: Logik
ist die Nachschreibeklausur zur Vorlesung Logik aus dem Sommersemester 2021.
Lecture notes
- Complexity Theory
- Concurrency Theory 2011
- Concurrency Theory 2017
- Games with Perfect Information
- Programmanalyse
- Theoretische Informatik 1
- Theoretische Informatik 2
Past Courses
- Algebraic Automata Theory - Winter 2018/19. Winter 2017/18.
- Algorithmic Automata Theory - Summer 2021 Summer 2019, Summer 2018, Summer 2017, Summer 2016, Winter 2013/14, Winter 2014/15, Winter 2012/13, Summer 2011.
- Programmanalyse - Winter 2018/19, Winter 2017/18, Winter 2015/16 (BOA), Winter 2013/14 (BOA).
- Complexity Theory - Winter 2021/22, Winter 2018/19, Winter 2017/18, Winter 2016/17, Winter 2015/16.
- Concurrency Theory - Winter 2021/22, Winter 2020/21, Winter 2019/20, Winter 2018/19, Winter 2017/18, Winter 2016/17, Summer 2015, Summer 2014, Winter 2011/12, Winter 2010/11.
- Games with Perfect Information - Summer 2019, Summer 2018, Summer 2017.
- Logik - Summer 2021, Summer 2020, Summer 2019, Summer 2018, Summer 2017, Summer 2016, Summer 2015, Summer 2014, Summer 2013, Summer 2012.
- Semantics - Winter 2019/20, Summer 2018.
- Seminar - Winter 2021/22, Winter 2020/21, Summer 2020, Winter 2019/20, Summer 2019, Winter 2018/19, Summer 2018, Winter 2017/18, Summer 2017, Winter 2016/17, Summer 2014.
- SEP - Summer 2020 (KittyCAT), Summer 2019 (Kitchen App), Summer 2018 (Hack your habits), Summer 2017 (UnicornPL).
- Teamprojekt / Praktikum - Summer 2019 (Programmanalyse), Winter 2018/19 (Program Verification), Summer 2018 (Programmanalyse), Winter 2017/18 (Automata Learning), Summer 2017 (Kryptologie).
- Theoretische Informatik 1 - Winter 2021/22, Winter 2020/21, Winter 2019/20, Winter 2018/19, Winter 2017/18, Winter 2016/17, Summer 2016 (FGdP).
- Theoretische Informatik 2 - Summer 2021, Summer 2020, Summer 2019, Summer 2018, Summer 2017.
Theses
We offer Bachelor's and Master's thesis on latest research results. Visit us and we'll talk about a subject!
Past Master's Theses:
- Jan Steiner: tba. TU Braunschweig 2021
- René Maseli: Memory-Model-aware Static Analysis of Concurrent Programs. [PDF] TU Braunschweig, 2021.
- Christian Reineke: Timed Test Case Classification. TU Braunschweig, 2020.
- Thomas Haas: Probabilistic Programming: Applications of Martingales beyond Reachability. [PDF] TU Braunschweig, 2019.
- Sören van der Wall: Bounded Analysis of Concurrent and Recursive Programs. [PDF] 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. [PDF] 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. [PDF] 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. [PDF] 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. [PDF] 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. [PDF] University of Oldenburg, 2008.
- Tim Strazny: Entwurf und Implementierung von Algorithmen zur Berechnung von Petrinetz-Semantiken für Pi-Kalkül-Prozesse. [PDF] University of Oldenburg, 2007.
Past Bachelor's Theses:
- Benjamin Hennies: tba. 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. [PDF] 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. [PDF] 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. [PDF] 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. [PDF] 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.