Junkai Guo
Program Analysis · Compilers · High-Performance Computing
I am Junkai Guo (郭军凯), a student in Computer Science and Technology. My current research interests primarily include program analysis, compositional verification, and AI compilers.
I am currently pursuing a Ph.D. in Computer Science and Technology at Peking University, advised by Xin Zhang.
I completed my undergraduate studies in Computer Science and Technology at Nankai University, where I ranked 1st out of 143 students in comprehensive evaluation.
My work primarily focuses on probabilistic program analysis. I also enjoy algorithmic programming contests and participated in multiple ICPC regional contests and EC Finals during my undergraduate studies.
Research interests
- Program analysis and software reliability
- Compilers and programming languages
- LLM-assisted software analysis and verification
Selected honors
- Gold Medal, 47th ICPC Asia East Continent Final (25th place)
- Six gold medals at ICPC/CCPC regional-level or higher contests
- Silver Medal, 38th National Olympiad in Informatics (NOI 2021) (71st place)
- National Scholarship for three consecutive years
- Full score in the CCF CSP certification and named a CCF Outstanding Undergraduate
Education
Nankai University, College of Computer Science
B.E. in Computer Science and Technology, Sep. 2022 – Jun. 2026 · Comprehensive evaluation rank: 1/143
Peking University, School of Electronics Engineering and Computer Science, School of Computer Science, Programming Languages Lab
Ph.D. in Computer Science and Technology, Sep. 2026 – present