Theoretical Computer Science

Teaching

Summer Term 2017

• Klausur: Theoretische Informatik I.
  Klausur zur Vorlesung Theoretische Informatik I.
• Vorlesung: Theoretische Informatik II 2017
  ist ein 3+2 Bachelor-Pflichtmodul in Theoretischer Informatik. Vorlesung und begleitende Übungen finden auf Deutsch statt.
• Vorlesung: Einführung in die Logik 2017
  ist ein 2+2 Bachelor-Pflichtmodul in theoretischer Informatik. Vorlesung und begleitende Übungen finden auf Deutsch statt.
• Lecture: Games with Perfect Information 2017
  is a 2+2 Master's course in Theoretical Computer Science. The lectures and exercises will be given in English.
• Lecture: Algorithmic Automata Theory 2017
  is a 4+2 Master's course in Theoretical Computer Science. The lectures and exercises will be given in English.
• Vorlesung: Kryptologie III 2017
  ist eine 2+1 Master-Vorlesung in Theoretischer Informatik. Vorlesung und begleitende Übungen finden auf Deutsch statt.
• Seminar: Programs, Logics, and Automata 2017
  is a Bachelor's and Master's seminar.
• Praktikum: Kryptologie 1+2 2017
  ist ein Master-Praktikum in Theoretischer Informatik.
• SEP: UnicornPL 2017
  ist das von uns angebotene Projekt im Rahmen des Softwareentwicklungspraktikums (SEP).

Future Courses

• Seminar: Automata Theory and Games 2017/18
  is a Bachelor's and Master's seminar.
• Vorlesung: Programmanalyse 2017/18
  ist ein Bachelor-Wahlpflichtvorlesung bzw. Master-Vorlesung (2+2, 5 LP) in Theoretischer Informatik.
• Lecture: Algebraic Automata Theory 2017/18
  is a Master's course (4+2, 10 LP) in Theoretical Computer Science.
• Lecture: Complexity Theory 2017/18
  is a Master's course (4+2, 10 LP) in Theoretical Computer Science.
• Lecture: Concurrency Theory 2017/18
  is a Master's course (4+2, 10 LP) in Theoretical Computer Science.
• Vorlesung: Theoretische Informatik I 2017/18
  ist ein Bachelor-Pflichtvorlesung (2+2, 5 LP) in Theoretischer Informatik.

Past Courses

• Vorlesung: Theoretische Informatik I 2016/17
• Lecture: Complexity Theory 2016/17
• Seminar: Advanced Automata Theory 2016/17
• Lecture: Concurrency Theory 2016/17
• Lecture: Advanced Automata Theory 2016
• Vorlesung: Logik 2016
• Vorlesung: Formale Grundlagen der Programmierung 2016
• Lecture: Complexity Theory 2015/16
• Vorlesung: Bäume, Ordnungen und Anwendungen 2015/16
• Vorlesung: Logik 2015
• Lecture: Concurrency Theory 2015
• Lecture: Applied Automata Theory 2014/15
• Seminar: Seminar on Logics 2014
• Vorlesung: Logik 2014
• Lecture: Concurrency Theory 2014
• Lecture: Applied Automata Theory 2013/2014
• Vorlesung: Bäume, Ordnungen und Anwendungen 2013/2014
• Vorlesung: Logik 2013
• Lecture: Applied Automata Theory 2012/2013
• Vorlesung: Logik 2012
• Lecture: Concurrency Theory 2011/2012
• Lecture: Applied Automata Theory 2011
• Lecture: Concurrency Theory 2010/2011

Theses

Master's Theses:

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

Bachelor's Theses:

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