Congratulations to Yong Li who passed his PhD thesis defense on 1st November.
The title of the PhD thesis is “Novel Learning and Complementation Algorithms for Buchi Automata” .
The comittee members are:
- Lijun Zhang
- Moshe Vardi
- Naijun Zhan
- Sven Shewe
- Yih-Kuen Tsay
- Zhilin Wu
