I am a postdoc researcher and member of the management team at IPSSE, the Institute for Applied Software Systems Engineering in Goslar (Germany). I am affiliated with TU Clausthal in Germany.
My research focuses on automated analysis, testing, and verification of component-based software systems. My work is mainly based on the automated inference of component models that combine control- and data-flow using static and dynamic analysis methods (symbolic execution and active automata learning).
Before joining IPSSE, I worked as a researcher at Carnegie Mellon University, Silicon Valley and NASA Ames, where I served as the PI of a NASA funded research project aiming at defining, integrating, and conducting initial research efforts in V&V of flight critical systems.