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
- I put a battery in reverse and debugged for an hour. low-budget EV charger
- I helped program probably world’s least cost-efficient photocopier. portrait with an industrial robot
- I was certified for spending too much time on the Internet.