I am a post-doctoral fellow at the University of Oldenburg. My research interests focus on verification of concurrent/complex software systems, modelling languages, graph theory and business processes. For more details, please consult my personal website.