Zhenrong Gu
I am a master student at Xi'an Jiaotong University (XJTU), advised by Prof. Peng Zhang.
My research interests span vastly across computer sciences: majorly focusing on formal methods, computer systems, and software engineering. Currently I'm working on formal verification and automated reasoning: satisfiability modulo theories (SMT) solvers and binary decision diagrams (BDD). Previous research experiences include network configuration repair (ACR), network simulation & verification, and AI.
In extracurricular life, I love tennis, photography, video editing, sketching, graphics design, web development, open source development, etc.
Research Interest
- Binary Decision Diagrams (BDD)
- Satisfiability Modulo Theories (SMT)
- Network configuration repair
- Network simulation
Publications
Proceedings of ACM SIGOPS ATC '26
Ning Kang
,
Peng Zhang
,
Jianyuan Zhang
,
Hao Li
,
Dan Wang
,
Zhenrong Gu
, Weibo Lin, Shibiao Jiang, Zhu He, Xu Du, Longfei Chen, Jun Li, and Xiaohong Guan
Weibo Lin
, Shibiao Jiang
, Zhu He
, Xu Du
, Longfei Chen
, Jun Li
, and Xiaohong Guan
Proceedings of ACM FSE '26
Dan Wang
,
Peng Zhang
,
Zhenrong Gu
, Weibo Lin, Shibiao Jiang, Zhu He, Xu Du, Longfei Chen, Jun Li, and Xiaohong Guan
Weibo Lin
, Shibiao Jiang
, Zhu He
, Xu Du
, Longfei Chen
, Jun Li
, and Xiaohong Guan
Proceedings of IEEE/ACM ASE '25
Education
Xi'an Jiaotong University
School of Computer Science and Technology
B.E. in Computer Science, 2020.9 - 2024.6
Rank:
4/37GPA:
3.95/4.3Average Score:
91.6University of Wisconsin-Madison
Visiting International Student Program (VISP), Computer Science Thematic Track, 2022.9 - 2022.12
GPA:
4.0/4.0Average Score:
AAwards & Honors
The 2021 International Collegial Programming Contest (ICPC)
Bronze Medal, Asia Jinan Regional Contest (Ranked 108th / 726)
12th “Lanqiao” Cup National Software and Information Technology Contest
First Prize, Track of Java Software Development (Ranked 6th Nationally)