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 comittee members are:

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