Song Gao passed his PhD thesis defense

Congratulations to Song Gao who passed his PhD thesis defense on May 20th, 2024.

The title of the PhD thesis is “Formal Verification of Distributed Consensus Protocols”.

The committee members are:

• Bican Xia (Chair)
• Yuan Feng ()
• Zhiping Shi
• Wengcheng Wang
• Zhilin Wu ()