SPLASH 2022 (series) / Yahui Song
Registered user since Sat 26 Dec 2020
Name:Yahui Song
Bio:
I am currently a PhD Student in School of Computing (Soc), National University of Singapore (NUS). I got my Master’s degree in July 2018 from Soc, NUS. I got my Bachelor’s degree in computer science from Sun Yat-sen University (China) in 2017. I am being supervised by Associate Professor Chin Wei Ngan.
Country:Singapore
Affiliation:National University of Singapore
Personal website: https://www.comp.nus.edu.sg/~yahuis/
GitHub: https://github.com/songyahui
Research interests:Automated Program Verification, Program Analyses on Temporal Properties, Programming Language Design
Contributions
SPLASH 2022-profile
View general profile
View general profile