Xingzhi Qi's Profile Picture

Xingzhi Qi

     


Contact:

dennyqi123@sjtu.edu.cn

About Me

Hello! I am a senior undergraduate student at John Hopcroft Honors Class (Zhiyuan College), Shanghai Jiao Tong University, majoring in Computer Science.

I am interested in AI for Math, Autoformalization and Formal Verification.

I am very fortunate to work on research projects advised by Prof. Wenda Li, Prof. Qinxiang Cao, Prof. Junchi Yan.

💡 Recent Anouncement

News [Show All]

Education

University of Edinburgh Logo
University of Edinburgh, UK
Student Research Intern • Jul. 2025 - Oct. 2025

Shanghai Jiao Tong University Logo
Shanghai Jiao Tong University, China
B.Eng. in Computer Science • Sept. 2022 - June 2026 (Expected)
Member of John Hopcroft Honors Class

Teaching Experience

Honors & Awards

Miscellaneous