Chen Fu passed his PhD thesis defense

Congratulations to Chen Fu who passed his PhD thesis defense on May 26th, 2022.

The title of the PhD thesis is “Verification of Partially Observable Probabilistic Multi-agent Systems”.

The committee members are:

• Meng Sung (Chair)
• Yuxin Deng ()
• Zhilin Wu ()
• Yuan Feng ()
• Yan Cai