Registered user since Sat 26 Dec 2020
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.
|APLAS 2022||Automated Temporal Verification for Algebraic Effects|
|SPLASH 2022||Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm|
|Show activities from other conferences|
View general profile