Meet the Developer
Background and Expertise
Michaela Klauck holds a PhD in computer science and has a background as a research associate at Saarland University, specializing in quantitative verification. Her main research focus lies in the verification of planning and decision-making in autonomous systems. She has been featured in 30 scientific articles so far available online and her PhD thesis "On the Connection of Probabilistic Model Checking, Planning, and Learning for System Verification" is available online.
Role at CONVINCE
Michaela is a leading member of the CONVINCE project, leveraging her expertise in model-checking robotic deliberation and autonomous driving behaviour to enhance the robustness of autonomous robots. Her organizational skills, attention to detail, and inspiring work ethic are essential elements contributing to the anticipated success of the CONVINCE project in the future.
Interesting facts
Outside of her professional pursuits, she finds joy in playing musical instruments like the saxophone, violin, and guitar, as well as engaging in long-distance runs and travelling. Fun fact about Michaela- she is a research engineer who doesn’t like coffee and can ride a unicycle!
Inspiration and enjoyment
Michaela enjoys the interdisciplinary nature of her work, particularly when building bridges between model checking, planning, and learning during her PhD by investigating the quality of neural networks for autonomous navigation with the help of statistical model checking. Now, she is inspired by understanding the needs and challenges of the robotic community to find solutions in formal methods that benefit all parties involved. Additionally, Michaela enjoys the challenges of her work, especially in finding ways to make robotic systems more robust through formal verification methods. When looking towards the future of AI, she is most excited about the potential for AI to revolutionize automation and human-robot interaction, opening new dimensions in our daily lives.