Who am I?

A 3rd year PhD candidate @ the School of Computing, NUS. Working with Prof. Ilya Sergey.

Recent research interests are within inductive synthesis, answer set programming (will focus on applying ASP to PL for a while), and program transformation.

The long term goal is to assist the informal world with formal methods (that’s why inductive synthesis makes sense!).

See the non-academic info here.