... is a consultant of CQSE GmbH for software and systems engineering. He studied Computer Science at the University of Passau and the University of Applied Sciences in Ingolstadt. He worked as a researcher at different departments (Software Systems, Software Product Lines, Software Engineering) at the University of Passau and at GrammaTech Inc in Ithaca/USA.
His research focuses on static program analysis, formal methods, software model checking, and software testing. He received a PhD for his work on reusing analysis artifacts to make program analysis and verification more efficient and effective. Before pursuing a career in academia, he worked as a software engineer in the industry.