My name is Zizhao Chen. Zizhao, Zoe, Chen, 陈梓昭, or 梓昭 are equally good with me.

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

Facts that are not on my cv