Description
I am a person who pursues technology and enjoys life. I don’t want to change the world, but I want to use my blog to describe the world in my eyes.
我是一个追求技术至上、注重享受生活的人。我并不奢望能够改变世界，只是想用自己的笔触来描绘这个世界。
Background
I came from the ancient city Shaoxing. During my high school in Shaoxing No.1 Middle School, I took part in the informatics competition (OI) and got three first prizes in NOIP, but only the silver medal in NOI 2016.
我来自历史悠久的古城绍兴，曾就读于绍兴市第一中学。高中时NOIP三年省一，省队第七，憾获 NOI 银牌。
I received my B.S. degree from Zhejiang University, majoring in computer science. During that time, I was involved in Qiushi Honor’s Program of Chu Kochen Honors College, advised by Prof. Chun Chen.
我毕业于浙江大学计算机科学与技术专业（竺可桢学院求是科学班），师从陈纯院士。
I was involved in Competitive Programming in my first two college years and won gold medals in each ICPC competition, and finally the 21st in the World Finals. In the later period, I’v tried a lot of scientific research, like Face Clustering, Document Structurization, Video Analytics, Logical Reasoning in Geometry Problems, and Vehicle Routing Problem. Due to the COVID-19 situations and Sino-US relations, I gave up studying abroad, and got a full-time position in Huawei Cloud. I currently work on the Agent Infra team at Kimi.
我在大学前两年主攻 ACM 竞赛，大二下获全球总决赛第 21 名，刷新了浙大近几年的记录；大学后两年以科研探索为主，做过人脸聚类、文档结构化、视频分析、几何题的可解释性推理、车辆路径规划问题等研究。由于新冠疫情和中美政策等原因，我放弃出国深造，本科毕业后就职于华为云。目前，我在月之暗面的 Agent Infra 团队。
Publication
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning
Pan Lu*, Ran Gong*, Shibiao Jiang*, Liang Qiu, Siyuan Huang, Xiaodan Liang, Song-Chun Zhu
The 59th Annual Meeting of the Association for Computational Linguistics (ACL), 2021
Website: https://lupantech.github.io/inter-gps/
FHCSolver: Fast Hybrid CVRP Solver | FHDSolver: Fast and Effective VRPTW Solver
Shibiao Jiang, Zhu He, Weibo Lin, Fuda Ma, Zhipeng Lv
Workshop Paper, DIMACS 12th Challenge: Vehicle Routing Problem
Website: https://dimacs.rutgers.edu/programs/implementation-challenges/vehicle-routing/implementation-challenge-vehicle-routing/final-papers-videos
RELIA: Accelerating the Analysis of Cloud Access Control Policies
Dan Wang, Peng Zhang, Zhenrong Gu, Weibo Lin, Shibiao Jiang, Zhu He, et al.
IEEE/ACM International Conference on Automated Software Engineering (ASE), 2025 DOI: https://doi.org/10.1109/ASE63991.2025.00027
AccessRefinery: Fast Mining Concise Access Control Intents on Public Cloud
Ning Kang, Peng Zhang, Jianyuan Zhang, Hao Li, Dan Wang, Zhenrong Gu, Weibo Lin, Shibiao Jiang, Zhu He, et al.
ACM International Conference on the Foundations of Software Engineering (FSE), 2026 DOI: https://doi.org/10.1145/3797087
AWARDS
| Year | Title | Prize |
|---|---|---|
| 2014-2016 | NOIP | First Prize*3 |
| 2016 | NOI | Second Prize |
| 2017 | ICPC Beijing / Nanjing / Shanghai (EC-Final) | First Prize*3 |
| 2017 | CCPC Final | Runner-up |
| 2017-2020 | Zhejiang University Scholarship | Second Prize*1, First Prize*2 |
| 2017-2018 | Zhejiang Provincial Government Scholarship | |
| 2018 | Zhejiang University Programming Contest | Champion |
| 2018 | Zhejiang Provincial Collegiate Programming Contest | Runner-up |
| 2018 | ICPC Beijing / Nanning / Xi’an (EC-Final) | Second Runner-up*2, First Prize*1 |
| 2019 | ICPC World Finals | Rank 21st |
| 2019-2020 | National Scholarship | |
| 2020 | Collegiate Computer Systems & Programming | First Prize |
| 2020 | ICPC NERC Huawei Challenge | Second Runner-up |
| 2021 | Huawei Software Elite Challenge | Third Place |
| 2021 | Golden Code Competition in Huawei Cloud | Champion |
| 2022–2023 | 12th DIMACS Implementation Challenge | Champion in CVRP/SDVRP; Second Runner-up in VRPTW |
| 2023–2025 | ICPC Asia Regional, Hangzhou Station, non-official | Gold Medal*3 |
| 2023–2025 | Huawei Hackathon Software Challenge | Second Prize*1, First Prize*2 |
| 2025 | National Qualification Examination for Computer Technology and Software Professionals | Senior System Architect |
ACM Problem settings
Here list some of my problems.
- 2015 BestCoder Round #44: BestCoder Link
- 2015 BestCoder Round #60: BestCoder
- 2016 BZOJ 4389
- 2016 HDU Multi-University Contest Round 2 C: Hdu Link
- 2016 51nod Algorithm Marathon #12 E: 51Nod Link
- 2017 51nod Algorithm Marathon #28 D: 51Nod Link
- 2018 Baidu Star Preliminary Round A: BestCoder Link
- 2019 Zhejiang Provincial Contest M: ZOJ Link
- 2019 CCPC Harbin A, B: CodeForces Link
- 2019 ICPC Hong Kong E, H: CodeForces Link
- 2020 ICPC Nanjing G: CodeForces Link
- 2020 ICPC Shanghai H/L: CodeForces Link (idea is not mine)
- 2019 Nowcoder Summer Multi-University Contest Round 3: Nowcoder Link
- 2020 Nowcoder Summer Multi-University Contest Round 4: Nowcoder Link
- 2021 Nowcoder Summer Multi-University Contest Round 1: Nowcoder Link
- 2021 ICPC Macau B/J: Nowcoder Link
- 2021 ICPC Nanjing F
- 2022 ByteDance Winter Camp Finals J
