Yong Li Defended His PhD Thesis

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