Congratulations to Junnan Xu who passed his Master thesis defense on Aug. 27th, 2020.
The title of his thesis is “An Axiomatisation of the Probabilistic μ-Calculus“.
The committee members are:
- Yuan Feng (chair)
- Wanwei Liu
- Zhilin Wu
- Naijun Zhan
Congratulations to Junnan Xu who passed his Master thesis defense on Aug. 27th, 2020.
The title of his thesis is “An Axiomatisation of the Probabilistic μ-Calculus“.
The committee members are: