I am a Ph.D. student at the chair of Prof. Holger Hermanns since November 2017.

I am working in the area of quantitative verification and Markov decision processes and at the interface of these topics to automatic planning.


Year Publication
2018 Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns:
Compiling Probabilistic Model Checking into Probabilistic Planning Technical Report
ICAPS 2018.
2017 Michaela Klauck, Yusuke Sugano, Andreas Bulling:
Noticeable or Distractive? A Design Space for Gaze-Contingent User Interface Notifications
CHI EA 2017: 1779-1786.


2018 Teaching Assistant, Mathematische Grundlagen der Computerlinguistik III: Statistische Methoden, Saarland University
2016 Student TA, Nebenläufige Programmierung, Saarland University
2015 Student TA, Grundzüge der Algorithmen und Datenstrukturen, Saarland University
2014 Student TA, Programmierung 1, Saarland University


If you have any questions feel free to contact me or just come to my office:

Address: Campus Saarbrücken, 66123 Saarbrücken
Phone: +49 681 302 5634
Location: Bldg. E1 3, Room 508
E-mail: klauck@depend.uni-saarland.de