Career Profile

I am a PhD student at School of Computing, National University of Singapore, under supervision of Associate Professor Chin Wei-Ngan. My interests are automatic program repair, formal verification, and separation logic.

Publications

Experiences

Applied Scientist Intern

9/2019 - 12/2019
Prime Video, Amazon, UK.

I joined the Automated Reasoning Group, supervised by Pavle Subotic and Bor-Yuh Evan Chang. We aimed to find succint explanations of static analysis results.

Teaching Assistant

2017 - 2018
School of Computing, National University of Singapore.
  • CS4215 - Programming Language Implementation, AY 2016/2017 Semester 2.
  • CS4212 - Compiler Design, AY 2017/2018 Semester 1.
  • CS4215 - Programming Language Implementation, AY 2017/2018 Semester 2.
  • CS4212 - Compiler Design, AY 2018/2019 Semester 1.

Teaching Assistant

2019
Yale-NUS College, National University of Singapore.
  • YSC1212 - Introduction to Computer Science, 2018/2019 Semester 2.

Research Assistant

7/2015 - 7/2016
School of Computing, National University of Singapore.

I worked on HIP/SLEEK and Fixpoint projects, under Associate Professor Chin Wei-Ngan.

Projects

Songbird - An automated inductive theorem prover for separation logic
HIP/SLEEK - An automatic verification system for heap manipulating programs
Fixpoint - A fixpoint caculator

Others