I'm currently a software engineer at Ahrefs in Singapore.
I recently finished my degrees at Yale-NUS College (BSc.) and the National University of Singapore (MComp.). My theses and related research on certified program synthesis were advised by Ilya Sergey.
I'm interested in programming languages, formal methods, and concurrency. Most of my work is written in Scala and OCaml.
Certifying the Synthesis of Heap-Manipulating Programs.
In 26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021). August 2021. ACM.