Arpit Sharma (M.Sc) successfully defended his PhD dissertation

On January 15, 2015, Arpit Sharma has successfully defended his dissertation on “Reduction Techniques for Nondeterministic and Probabilistic Systems”.  His defense committee consisted of Christof Löding, Holger Hermanns (Saarland University), Joost-Pieter Katoen and Bernhard Rumpe (see picture).  Arpit’s dissertation treats weighted lumpability as well as layering techniques for various models.