Ich bin Doktorand und arbeite als Wissenschaftlicher Mitarbeiter in der Gruppe Correct System Design unter Leitung von Ernst-Rüdiger Olderog an der Carl von Ossietzky Universität Oldenburg.
Meine aktuellen Forschungsinteressen sind:

• Synthese in verteilten Systemen (insb. Petri Spiele)
• Nebenläufigkeit
• (höhere/gefärbte) Petri Netze
• Symmetrien