Michaela Klauck

Systems engineering with strong background in formal verification, systems architecture, model-driven engineering, and technical project leadership. Working for complex COMINT & ELINT spectrum analysis software at the interface between requirements engineering and software architecture. Goal: streamline software development processes and establish a platform software solution with enterprise software architecture concept.

Research Engineer for Verification of Planning and Decision Making in Autonomous Systems: Model-checking autonomous behavior of household & intralogistics robots, Enhancing reliable robot behavior using formal software verification, and reinforcement learning, Formally verifying autonomous driving behavior (planners) , Supervision of PhD students, Bosch internal project lead and principal investigator (PI) of the EU Horizon project CONVINCE: Project management, Technical & team lead responsibilities

I have been a research associate at the chair of Dependable Systems and Software at Saarland University. I worked in the area of quantitative verification at the interface to automatic planning and the AI community. In June 2022 I successfully defended my PhD (Dr.-Ing.) thesis "On the Connection of Probabilistic Model Checking, Planning, and Learning for System Verification".

I successfully defended my PhD thesis entitled “On the Connection of Probabilistic Model Checking, Planning, and Learning” at the chair of Prof. Holger Hermanns in June 2022. In November 2017, I started working at the chair as a PhD student in the area of quantitative verification and Markov decision processes, especially at the interface of these topics to automatic planning and the AI community.

In diesem 4-wöchigen Kurs organisieren ca. 30 Ehrenamtliche Vorlesungen, Tutorien mit Übungs-/Hausaufgaben, sowie eine Klausur, um Studenten auf das Studium eines informatiknahen Faches vorzubereiten. Wir lehren mathematische und logische Grundlagen, wie sie in den Einführungsveranstaltungen, den Mathematik- und Programmierungsvorlesungen vorausgesetzt werden. Zusätzlich organisieren wir soziale Events, damit die Erstemester ihre Komillitonen besser kennen lernen können und sich an der Uni einleben können.

Tutor und Assistent für verschiedene Bachelor- und Mastervorlesungen. Wöchentliches Tutorium für ca. 25 Studenten, Erstellen und Korrigieren von Übungsblättern und Klausuren. - Programmierung 1 - Grundzüge der Algorithmen und Datenstrukturen - Nebenläufige Programmierung - Mathematische Grundlagen der Computerlinguistik III: Statistische Methoden - Probabilistic Models of Concurrency

Bachelorarbeit in der Perceptual User Interfaces Group Exploring the Desing-Space of Gaze-Contingent Software

I was a Ph.D. student at the chair of Prof. Holger Hermanns since November 2017 where I worked in the area of quantitative verification and Markov decision processes, especially at the interface of these topics to automatic planning and learning. I successfully defended my PhD thesis "On the Connection of Probabilistic Model Checking, Planning, and Learning for System Verification" in June 2022. https://depend.cs.uni-saarland.de/~klauck/