Junkai Guo

程序分析 · 编译器 · 高性能计算

profile.jpg

我是郭军凯（Junkai Guo），一名计算机科学与技术专业的学生。目前的研究兴趣主要包括程序分析、组合验证和 AI 编译器。

我目前在北京大学计算机科学与技术专业攻读博士学位，我的导师是张昕（Xin Zhang）。

我本科就读于南开大学计算机科学与技术专业，综测排名 1/143。

我的工作主要围绕概率程序分析展开。我也喜欢算法设计竞赛，本科期间多次参与ICPC区域赛与EC Final。

研究兴趣

  • 程序分析与软件可靠性
  • 编译器与程序设计语言
  • 大语言模型辅助的软件分析验证

代表性荣誉

  • 第 47 届 ICPC 亚洲东大陆决赛金牌（第 25 名）
  • 六枚 ICPC/CCPC 区域赛及以上级别金牌
  • 第 38 届全国青少年信息学奥林匹克竞赛（NOI 2021）银牌（第 71 名）
  • 连续三年获得国家奖学金
  • CCF CSP 认证满分，并获评 CCF 优秀大学生

教育经历

南开大学，计算机学院
计算机科学与技术学士，2022 年 9 月至 2026 年 6 月 · 综合排名：1/143

北京大学，北京大学信息科学技术学院，北京大学计算机学院，北京大学程序设计语言研究室
计算机科学与技术博士，2026年 9 月至今