Xingzhi Qi
Contact:
s2969598@ed.ac.uk
About Me
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.
I received my Bachelor's degree 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.
