I am a doctoral student working in the group Correct System Design lead by Ernst-Rüdiger Olderog at the Carl von Ossietzky University Oldenburg.
My current research interests are:

• Synthesis in distributed Systems (esp. Petri games)
• Concurrency
• (High-level/colored) Petri nets
• Symmetries