I am a postdoctoral researcher and teaching assistant at the Knowledge-Based Systems Group which is headed by Professor G. Lakemeyer, PhD. We are part of the Department of Computer Science at RWTH Aachen University. I work in the VERITAS project, which is part of the Hybrid Reasoning for Intelligent Systems research unit, funded by the German Research Foundation (DFG). Before, I worked in the PLATAS project, also funded by the DFG. My research interests include planning, reasoning about actions and change, and epistemic logics.