Yanchen Shi
Software Engineer at Microsoft
Minhang District, Shanghai, China
Summary
👤
Senior🎓
Top SchoolYanchen Shi is a software engineer based in Shanghai with 10 years of experience building distributed systems and blockchain protocols. He led core algorithm design and formal verification efforts at CPChain, implementing LBFT 2.0 and contributing to DPoR while using Go and TLA+ to prove correctness. Since 2020 he has been a software engineer at Microsoft, bringing research-grade rigor from prior roles at NTU, Singtel collaborations, Baidu QA, and Fudan University honors. Comfortable spanning research, implementation, documentation and patent writing, he frequently produces technical white papers and English-language developer docs. His background shows a rare blend of formal methods and practical consensus engineering applied to real-world decentralized systems. Colleagues can expect a meticulous engineer who pairs deep protocol knowledge with hands-on delivery.
10 years of coding experience
3 years of employment as a software developer
Bachelor's Degree, Computer Science, Bachelor's Degree, Computer Science at Fudan UniversityMaster's Degree, Computer Engineering, Master's Degree, Computer Engineering at Nanyang Technological University
Chinese, English, Japanese
Github Skills (15)
blockchain-network10
blockchain9
windows-containers9
bitbucket8
docker6
containerd5
windows4
react3
nodejs3
gpu2
linux2
cuda2
graph2
contraction1
cpp1
Programming languages (6)
Github contributions (5)
alex031029/TestRepo
Nov 2019 - Mar 2024
Contributions:1 release, 168 pushes, 1 branch in 4 years 5 months
alex031029/LeetCode
Dec 2019 - Mar 2021
Contributions:920 commits, 896 pushes, 1 branch in 1 year 3 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.