Yong Li Passed His PhD Thesis Defense

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