working hard sleepy time

Yasunari Watanabe

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.