I work on making reasoning systems precise, verifiable, and usable in law and policy.

I am a Postdoctoral Scholar at Stanford Law School. I am advised by Dan Ho, Chris Manning and Jacob Goldin.

I finished my Computer Science PhD at Yale working with Scott Shapiro and Bob Frank. Before my PhD, I did my undergraduate studies at NTU, Singapore where I wanted to become a geek and built many interesting softwares. Even before that, I underwent intensive Math Olympiad training in my high school in China.

Outside of research and work, I am a jack-of-all-trades in art. My favorite novel is Pride and Prejudice.