I am a Ph.D. student with the Reactive Systems Group at Saarland University under the supervision of Martin Zimmermann.

Before that I have been a student at RWTH Aachen University, where I received my master's degree with a thesis written under supervision of Prof. Jürgen Giesl. I have received my Bachelor's degree from the same university, when I worked at Prof. Joost-Pieter Katoen's chair. You can find both my theses under Papers.

During a semester abroad at UC Berkeley I also worked on 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.