Hongfei Fu has successfully defended his PhD dissertation entitled “Verifying Probabilistic Systems: New Algorithms and Complexity Results”.  Hongfei started his PhD research in autumn 2010.  His examiners were Antonin Kucera (Masaryk University, Brno), Wolfgang Thomas and Stefan Kowalewski (see picture).