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.