Michaela Klauck

WORK HISTORY

EDUCATION

ABOUT MICHAELA KLAUCK

I am a software systems engineer working at Rohde & Schwarz in Munich, focusing on various customer projects for spectrum operations software applications in the company\'s portfolio. I am working at the interface between requirements engineering and software architecture with the goal to streamline the software development processes and establish a platform software solution with an enterprise software architecture concept. I am developing software architecture solution concepts for new software features (Jama, Jira, Enterprise Architect), which are handed over to the development team for implementation. Before, I was a research engineer at Bosch Research in Renningen. I worked on making the behavior of autonomous systems (e.g, cars or robots) more reliable and robust. My focus lied in the verification of planning and decision making in autonomous systems. I was working on model-checking robotic deliberation (e.g, in the CONVINCE EU-Horizon project) and autonomous driving behavior (Automated Driving Alliance between Bosch and CARIAD). Therefore, I was associated with the robotics and autonomous driving portfolios at Bosch Research.I lead a Bosch internal robotics project and was a principal investigator (PI) of the EU Horizon project CONVINCE (project management, technical team lead).Previously, I have been a research associate at the chair of Prof. Holger Hermanns, Dependable Systems and Software Group at Saarland University, since November 2017, where I have been working in the area of quantitative verification, especially at the interface of these topics to automatic planning and the AI community, e.g, by performing quality analysis of neural network decision making agents in autonomous driving scenarios. In June 2022, I successfully defended my PhD (Dr-Ing.) thesis \"On the Connection of Probabilistic Model Checking, Planning, and Learning for System Verification\".Homepage: https://mklauck.github.io/