{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. Previously I studied robotics as an undergraduate at the University of Toronto. Here are my amazing advisors.

Research

• Retrospective Learning from Interactions (website)

Facts not on my cv

• I once put a battery in reverse and debugged for an hour (video). More stories like this.
• I programmed likely world’s least cost-efficient photocopier with a robot arm (video).
• I was certified for spending too much time on the Internet.

and anonymous message