{Zizhao, Zoe, Chen, 陈梓昭, 梓昭} are equally good with me.

I like {natural, programming, mathematical} languages, because they help us formalize this mushy and magical process in our brain that we call reasoning.

I am a CS PhD student at Cornell Tech, working with Yoav Artzi (2024-). Previously I studied robotics as an undergraduate at the University of Toronto during the pandemic (2018-2022). I worked with these folks.

Publications

In reverse chronological order. Alternatively see Google Scholar.

Facts not on my cv

and anonymous message