Career Profile

I am a research fellow at the Singapore Blockchain Innovation Programme (SBIP), working with Professor Beng Chin Ooi. My interests are automatic program repair, formal verification, blockchain, 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