-
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.




