Xiaoyan Guo

Hi!（｡´∀｀）ﾉ My name is Xiaoyan Guo.

I am a senior undergraduate student at University of Science and Technology of China (USTC) and a member of the School of the Gifted Young. Starting in Fall 2026, I will pursue a PhD at the University of Virginia (UVA), where I will join the Hiprel Group under the supervision of Prof. Wenxi Wang.

My research interests include AI-assisted software engineering, software testing, and LLMs for code. I am especially interested in applying large language models to program analysis, automated testing, and concurrent software reliability.