Lan Dao is a software engineer at Facebook with five years of experience and a 3.94 B.S. in Mathematics and Computer Science from UIUC. He pairs competitive-programming pedigree—ACM‑ICPC world finalist in 2016 and 2019 and multiple national prizes in Vietnam—with practical production work from internships at Facebook, Google Scholar (author recommendation signals on massive, noisy datasets), and Jump Trading (a Bitcoin trading platform). At Facebook he built verification tooling for real-time approximation algorithms, turning theoretical error bounds into operational monitoring for streaming systems. Based in Champaign, IL, he blends mathematical rigor with large-scale systems engineering to ship dependable, data-driven features.
5 years of coding experience
1 year of employment as a software developer
University of Illinois Urbana-Champaign
High School Diploma, High School Diploma at VNU-HCM High School for the Gifted
We are building an open database of COVID-19 cases with chest X-ray or CT images.
Contributions:4 commits, 5 pushes in 17 days
casesraycomputed-tomographydeep-learningdataset
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.