Jinyao Guo

I am a PhD student in Purdue University, majoring computer science. My supervisor is Porf. Xiangyu Zhang. My research interests focus on programming language analysis and software engineering, with an emphasis on improving software reliability, correctness, and maintainability. My work studies how to analyze large software systems to identify programming errors that may lead to unexpected crashes or incorrect behavior. I am also interested in developing techniques that help developers write more robust, well-structured, and maintainable code.