Peizun Liu
Senior Software Engineer at Google
Sunnyvale, California, United States
Summary
🤩
Rockstar🎓
Top SchoolPeizun Liu is a Senior Software Engineer at Google with 11 years of experience blending research-grade program verification and production engineering. He holds a PhD in Computer Science and has a track record of proving safety properties for concurrent programs, work that informed his internships at MathWorks focused on SMT-based verification of Simulink models. At Google he has progressed from software engineer to staff-level technical lead manager, delivering scalable systems from Sunnyvale. Earlier roles include building Java/Spring enterprise systems for Tsinghua and teaching logic and computation as a head TA, reflecting strong foundations in formal methods and software lifecycle discipline. Peizun combines deep academic rigor with hands-on product delivery, often surfacing subtle correctness guarantees into shipped software. Colleagues describe him as a pragmatic engineer who brings formal thinking to everyday engineering trade-offs.
11 years of coding experience
11 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, 3.9, Doctor of Philosophy (Ph.D.), Computer Science, 3.9 at Northeastern UniversityBachelor of Science - BS, Management Information Systems, General, 3.6, Bachelor of Science - BS, Management Information Systems, General, 3.6 at Chengdu University of TechnologyMaster of Engineering - MEng, Computer Software Engineering, 3.6, Master of Engineering - MEng, Computer Software Engineering, 3.6 at Tsinghua University
Chinese, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (22)
asynchronous10
tla10
robotics10
verification10
abstraction10
model-checking10
fsm-library10
declarative-programming10
state-machine10
automata10
programming-language9
distributed-systems9
formal-methods9
gleam9
formal-verification9
Programming languages (1)
Github contributions (5)
lpzun/cuba
Aug 2016 - Jan 2021
Contributions:2 releases, 187 pushes, 2 branches in 4 years 5 months
lpzun/cutr
Jun 2015 - Sep 2016
Contributions:36 commits, 35 pushes, 1 branch in 1 year 2 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.