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.


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