CV

Education

• 2024-now: PhD at University of Cambridge, doing Categorical Logic.
• 2022-2024: Master at ILLC, UvA, Amsterdam, studying Logic.
• 2018-2022: Bachelor at Tsinghua, Beijing, majoring Mathematics & Physics.
• 2020-2021: Exchange at Oxford, England, majoring Mathematics and Philosophy.

Scholarship and Awards

• VvL Logic Thesis Prize (De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen)
• Cambridge Trust International Scholarship
• Amsterdam Merit Scholarship
• 叶企孙奖 
  Chi-Sun YEH Prize
• 英华学者
  Yinghua Scholar