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