Hongfei Fu (M.Eng) successfully defended his PhD dissertation

December 14, 2014

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).