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
Author Archives: liyong
Xuechao Sun Passed His Master Thesis Defense
Congratulations to Xuechao Sun who passed his Master thesis defense on May 23rd 2020.
The title of his thesis is “Synthesizing Nested Ranking Functions for Loop Programs via SVM“.
The committee members are:
- Yuan Feng (chair)
- Yi Li
- Zhilin Wu
- Lijun Zhang