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.

Between 2018 and 2022, I studied Robotics in Engineering Science at the University of Toronto. Summer was when I had most fun:

I am grateful for the support and mentorship from Greg Evans, David Duvenaud, Sheila McIlraith, Xilin Liu and many others.

News and old news

2022

Facts that are not on my cv