Michaela Klauck

I am a research engineer for verification of planning and decision-making in autonomous systems at Bosch Research. Before, 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 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/