Yu Pan
Blockchain Security Engineer at CertiK
Salt Lake City, Utah, United States
Summary
👤
Senior🎓
Top SchoolYu Pan is a blockchain security engineer with nine years of hands-on experience, currently protecting smart contracts and crypto infrastructure at CertiK. Pursuing a PhD in Computer Science at the University of Utah after earning a BE in Software Engineering from Nanjing University, he blends rigorous research instincts with practical engineering. He focuses on threat modeling, formal verification-adjacent techniques, and secure-by-design development for distributed ledgers. Based in Salt Lake City, Yu brings an apprentice’s curiosity—equally invested in elegant code, reproducible experiments, and a balanced life with cats. Colleagues value his methodical approach to hard-to-reproduce vulnerabilities and his habit of turning complex proofs-of-concept into auditable remediation.
9 years of coding experience
Bachelor of Engineering - BE Computer Software Engineering, Bachelor of Engineering - BE Computer Software Engineering at Nanjing UniversityThe University of Utah
Stackoverflow
51reputation
10kreached
0answers
9questions
Github Skills (33)
rmi9
maven8
java7
spring-boot7
spring7
file-exists6
smt6
design-patterns6
filepath6
hibernate6
dictionary6
file-upload6
z36
connections6
ajax6
Programming languages (5)
Github contributions (5)
Pypy233/Pypy233.github.io
Nov 2019 - Mar 2024
Contributions:2 PRs, 55 pushes, 1 branch in 4 years 5 months
Pypy233/DrawingTaggingPad
Sep 2018 - Oct 2018
Contributions:23 commits, 1 push in 1 month
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.