Naiqing Guan
Intern at Wangxuan Institute of Computer Technology, Peking University
Haidian District, Beijing, China
Summary
🤩
Rockstar🎓
Top SchoolNaiqing Guan is an early-career computer scientist and intern at Peking University's Wangxuan Institute, specializing in graph database systems and parallel graph algorithms. With two years of research-focused experience and internships guided by professors Lei Zou and Wenfei Fan, Naiqing has worked on improving graph DB performance and integrating image management into DBMSs. Based in Haidian District, Beijing, they bring strong academic grounding from Peking University’s undergraduate CS program and hands-on exposure to research-grade system design. Naiqing combines algorithmic thinking with practical system management, and has already contributed to collaborative research projects that bridge theory and implementation in data management.
2 years of coding experience
Undergraduate, CS, Undergraduate, CS at Peking University
Github Skills (1)
math-library10
Programming languages (1)
Github contributions (5)
Thmoas-Guan/EG
Nov 2023 - Dec 2024
Formalizing Euclidean Geometry in Lean
Contributions:11 PRs, 75 pushes in 1 year 1 month
Thmoas-Guan/mathlib4_fork
Jun 2025 - Jul 2026
The math library of Lean 4
Contributions:19 PRs, 2102 pushes, 2947 branches in 1 year 1 month
math-library
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.