Phi Bui
Software Engineer at Google
Stockholm, Sweden
Summary
👤
Senior🎓
Top SchoolPhi Bui is a software engineer with 11 years of experience blending rigorous academic research and production-grade engineering, currently working on Google Meet in Stockholm. With a PhD track record from Uppsala University focused on SMT string solvers and award-winning research (ATVA'19), he builds efficient tools for program verification and constraint solving while shipping scalable products at tech incumbents. His background spans systems and theory—automata, algorithms, and SMT—implemented across C/C++, Python, and JavaScript, and honed through roles at Google, Microsoft, and Coupa. Phi’s work uniquely bridges decidability theory and practical solver tooling, bringing formal methods into real-world applications in communications and verification.
11 years of coding experience
2 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at Vietnam National UniversityPh.D, Computer Science, Ph.D, Computer Science at Uppsala University
English, Vietnamese
Github Skills (13)
solver10
modulo10
reachability10
theorem9
sat-solver9
proof-assistant8
theorem-proving8
camelcase1
fuzzing1
smt-lib1
fuzzer1
regex1
smt1
Programming languages (3)
Github contributions (5)
diepbp/diepbp.github.io
Mar 2017 - Mar 2024
Contributions:131 pushes, 1 branch in 7 years 1 month
diepbp/Trau
Nov 2014 - Sep 2019
Contributions:19 releases, 430 commits, 10 PRs in 4 years 9 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.