Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Sebastian Muskalla

PhD Student

M.Sc. in Mathematics

Email: s.muskalla@tu-bs.de
Phone: +49 (0)531 391 9520
Office: IZ 370, i.e. Informatikzentrum, 3rd floor, office 370,
Mühlenpfordtstr. 23, 38106 Braunschweig,
Mail: Sebastian Muskalla
Institut für Theoretische Informatik
Mühlenpfordtstr. 23
38106 Braunschweig
Germany
Links: List of Publications
DBLP, arXiv, ORCID

I am a PhD student, researcher and teaching assistant („wissenschaftlicher Mitarbeiter“) under the supervision of Prof. Roland Meyer at the Institute for Theoretical Computer Science at TU Braunschweig since October 2016. Before our move to Braunschweig, I was a PhD student in Prof. Meyer's Concurrency Theory Group at TU Kaiserslautern from May 2015 on. From 2009 to 2015, I studied mathematics with a minor in computer science at TU Kaiserslautern.

Research

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.

Teaching

Lectures & exercise classes

Lecture notes

Supervised theses

Other activities

Reviews

I have reviewed submissions for:

Events

I have attended or will attend the following events, workshops, and conferences: