Yong Li passed his PhD thesis defense

Congratulations to Yong Li who passed his PhD thesis defense on November 1st, 2019.

The title of the PhD thesis is “Novel Learning and Complementation Algorithms for Büchi Automata”.

The committee members are:

• Lijun Zhang (Chair)
• Moshe Y. Vardi ()
• Naijun Zhan ()
• Sven Schewe ()
• Yih-Kuen Tsay ()
• Zhilin Wu ()