Junnan Xu passed his master thesis defense

Congratulations to Junnan Xu who passed his master thesis defense on August 27th, 2020.

The title of the master thesis is “An Axiomatisation of the Probabilistic μ-Calculus”.

The committee members are:

• Yuan Feng () (Chair)
• Wanwei Liu
• Zhilin Wu ()
• Naijun Zhan ()