Manuel Gieseking


  • E-Mail: 

Manuel Gieseking

About me

I am a Ph.D. student in the group Correct System Design at the Carl von Ossietzky University of Oldenburg and currently funded by the DFG project Petri Games.

My research focus on the analysis and verification of distributed systems particularly the synthesis and model checking of Petri nets and their extensions.

Scientific Services

Artifact Evaluation Committee member: TACAS'21 (AEC)

Subreviewer:  CASE'16, ECIS'19, BJ'20


Bibtex file does not exist.


Bibtex file does not exist.

Poster (Selection)

  • ADAM: Causality-Based Synthesis of Distributed System, 27th International Conference on Computer Aided Verification (CAV 2015) - Poster

Talks (Selection)

  • Refinement of π-Calculus Processes, Graduation Ceremony - OLDIES-Award for the best Master's thesis, CvO University Oldenburg 2015 - Slides
  • Towards an Implementation of Solving Petri Games, AVACS Autumn Plenary, University Saarbrücken 2014 - Slides
  • Refinement of π-Calculus Processes, Master's thesis, CvO University Oldenburg 2014 - Slides
  • Lineare und differentielle Kryptoanalyse von Substitutions-Permutations-Netzen, Bachelor's thesis, CvO University Oldenburg 2010 - Slides
(Changed: 20 Apr 2022)