Yahui Song

Registered user since Sat 26 Dec 2020

Name:Yahui Song
Bio:

I am a Research Fellow in the Automated Program Repair group at NUS, working with Professor Abhik Roychoudhury. I defended my PhD in May 2023, supervised by Associate Professor Chin Wei Ngan. I got my Master’s degree from School of Computing (Soc), NUS in 2018. I got my Bachelor’s degree in computer science from Sun Yat-sen University (China) in 2017. My research interests are: Formal Verification, Program Analyses on Temporal Properties, Programming Language Design and Automated Program Repair.

Country:Singapore
Affiliation:National University of Singapore
Research interests:Automated Program Verification, Program Analyses on Temporal Properties, Programming Language Design

Contributions