Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
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


VMCAI 2021 A Synchronous Effects Logic for Temporal Verification of Pure Esterel
Show activities from other conferences

POPL 2021-profile
View general profile