About Me

I started my PhD under Jon Sterling at Cambridge doing categorical logic.

I graduated cum laude from Master of Logic at ILLC, University of Amsterdam.

I did my Bachelor in the Physics Department at Tsinghua University, Beijing, majoring in Mathematics and Physics.