I lead the research group for distributed software systems at the currently working at the German Aerospace Center (DLR) at the Institute of Software Technology. Our main research areas are the development and execution of multidisciplinary simulation workflows, service-oriented research software development, and the integration of quantum computers into DLR’s research environment. Moreover, we develop the Remote Component Environment, a tool for designing and executing distributed, data-driven workflows, that is mainly used in the early stages of airplane design. The tool itself is open source, so feel free to have a look.

Previously, I obtained my Ph.D. with the Reactive Systems Group at Saarland University under the supervision of Martin Zimmermann. During my graduate studies, I extended the notion of winning in quantitative games and proved a number of complexity results for solving games optimally.

Before that I studied at RWTH Aachen University, where I received my master’s degree under supervision of Prof. Jürgen Giesl. My thesis was on the analysis on Prolog programs with arithmetic expressions using symbolic execution. I have received my Bachelor’s degree from the same university, when I worked at the chair of Prof. Joost-Pieter Katoen. You can find both my theses under Publications.

During a semester abroad at UC Berkeley I also worked on an early version of automatatutor.com, which helps instructors and students in both teaching and learning basic concepts in automata theory. You can read more about it under Projects.