Theoretical Computer Science

Teaching

Winter Term 2022/2023

• Vorlesung: Theoretische Informatik I
  ist eine Bachelor-Pflichtveranstaltung in der theoretischen Informatik.
• Seminar: Theoretische Informatik
  Eine Seminararbeit im Bereich der theoretischen Informatik schreiben.

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.
• Nachschreibeklausur: Theoretische Informatik 1
  ist die Nachschreibeklausur zur Bachelor-Pflichtveranstaltung Theoretischen Informatik 1.

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, Summer 2021, 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:

• 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. [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.