Xingzhi Qi
Contact:
s2969598@ed.ac.uk
dennyqi123@sjtu.edu.cn
About Me
Hi! I am a first-year PhD student at The University of Edinburgh, where I am fortunate to be advised by Prof. Wenda Li and Prof. David Aspinall.
Previously, I received my B.Eng. in Computer Science from John Hopcroft Honors Class (Zhiyuan College), Shanghai Jiao Tong University. During my undergraduate studies, I worked on AI for Math, Autoformalization and Formal Verification, where I was advised by Prof. Qinxiang Cao and Prof. Junchi Yan.
💡 Recent Announcement
