I am Ph.D. student at the chair of Prof. Holger Hermanns since December 2013.


My research interests range over, but are not limited to the analysis of stochastic and deterministic battery models, which involve all kinds of formalisms from Labelled Transition Systems to Stochastic Hybrid Automata.

Teaching Experience:

TA for "Nebenläufige Programmierung" (Concurrent Programming), Basic Course, Summerterm 2011
TA for Introduction to Computational Logic, Core Lecture, Summerterm 2012
Assistant for "Programmierung 1", Basic Course, Winterterm 2013/14


Address: Campus Saarbrücken, 66123 Saarbrücken 
Phone: +49 681 302 5631 
Location: Bldg. E1 3, Room 508