Xuechao Sun passed his master thesis defense

Congratulations to Xuechao Sun who passed his master thesis defense on August 23rd, 2020.

The title of the master thesis is “Synthesizing Nested Ranking Functions for Loop Programs via SVM”.

The committee members are:

• Yuan Feng () (Chair)
• Yi Li
• Zhilin Wu ()
• Lijun Zhang