Peiran Wu
Postdoctoral Fellow at The University of British Columbia
Vancouver, British Columbia, Canada
Summary
🤩
Rockstar🎓
Top SchoolPeiran Wu is a postdoctoral fellow at the University of British Columbia with five years of research experience at the intersection of wireless communications and applied mathematics. He holds a Ph.D. in Wireless Communication from UBC and distinguished academic credentials from City University of Hong Kong and Sun Yat-Sen University. His work blends theoretical rigor with practical systems insight, drawing on a strong foundation in communication engineering and a high academic standing across degrees. Based in Vancouver, he pursues mathematical approaches to communication problems, signaling a comfort with both abstract theory and engineering applications. Colleagues describe him as a methodical researcher who translates complex models into actionable results for wireless systems. Outside publications and teaching, he maintains a focused GitHub presence reflecting his research-oriented coding and reproducibility practices.
5 years of coding experience
Ph.D., Wireless Communication, 3.9/4.0, Ph.D., Wireless Communication, 3.9/4.0 at The University of British Columbia / UBCBachelor, Communication Engineering, 3.8/4.0, Bachelor, Communication Engineering, 3.8/4.0 at Sun Yat-Sen UniversityMaster, Electronic Engineering, 4.3/4.3, Master, Electronic Engineering, 4.3/4.3 at City University of Hong Kong
Stackoverflow
9reputation
85reached
0answers
1question
Github Skills (37)
in-progress10
mathematics10
computer-algebra-system10
theorem-proving10
computer-algebra9
math9
mathematical9
formal-methods8
homotopy-type-theory8
theorem8
typesetting8
agda8
javascript7
proof-assistant7
dependent-types7
Programming languages (5)
Github contributions (5)
wupr/lean4
Apr 2024 - May 2024
Lean 4 programming language and theorem prover
Contributions:7 pushes, 2 branches in 6 days
wupr/groups-in-lean
Nov 2023 - Apr 2024
Formalisation in Lean 4 of undergraduate-level group-theoretic problems and solutions
Contributions:2 PRs, 14 pushes, 4 branches in 4 months
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.