Summary
Phi 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 University
Ph.D, Computer Science, Ph.D, Computer Science at Uppsala University
English, Vietnamese