Institute of

Theoretical Computer Science


Technische Universität Braunschweig

Sebastian Muskalla

Links: My personal homepage
List of Publications

I was a PhD student, researcher, and teaching assistant from 2015 to 2022 under the supervision of Prof. Roland Meyer.

I have completed my PhD with highest honors (summa cum laude) after submitting my PhD thesis titled Certificates for automata in hostile environment in August 2022 and defending it in May 2023.

You can find more up-to date information about me and my work on my personal homepage.

Below, you can find information about the research I did while I was a PhD student.


I am working in the field of automata theory which provides the theoretic foundation for program verification.

In particular, I am interested in games with perfect information (on the configuration graphs of automata). In such games, two players alternate in taking moves on a game arena. The game arena, its current state, and the history of the play is known to both players at each point in time. Real-life example of such games include board games like Chess and Go.

In computer science, these games are used to model systems in which several separate entities influence the behavior. This occurs for example in the context of synthesis, where the goal is to instantiate a program template such that the resulting program satisfies a specification: One player is used to model the choices one has when instantiating the template, the other player models the environment in which the program should be executed.

I am also interested in other topics in automata theory, e.g. in the properties of languages of Petri nets and computational problems related to these languages.


Lectures & exercise classes

Lecture notes

Supervised theses

Other activities


I have reviewed submissions for:


I have attended the following events, workshops, and conferences: