Introduction

I am a researcher at Huawei Hong Kong Research Centre. I am a member of the Fermat lab. We work on applying formal methods to practical problems in Huawei. Before that, I was a research fellow at the Singapore Blockchain Innovation Programme (SBIP), working with Professor Beng Chin Ooi. I did my Ph.D at National University of Singapore, supervised by Professor Wei-Ngan Chin.

Publications

Experiences

Researcher

10/2023 - Now
Fermat Lab, Huawei, Hong Kong SAR, China.

We work on solving practical problems inside Huawei using formal methods such as TLA+ model checking, separation-logic-based verification, property-based testing.

Research Fellow

4/2022 - 10/2023
SBIP, NUS, Singapore.

We work on formal verification and program analysis of smart contracts.

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 concise 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