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
  • Assistant for Advanced Concurrency Theory, Seminar, Winterterm 2016/17


For a (possibly incomplete) list of publications, see the corresponding DBLP page.


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