Vu Le
Principal Research Manager at Microsoft
Redmond, Washington, United States
Summary
👤
Senior🎓
Top SchoolVu Le is a Principal Research Manager at Microsoft leading program synthesis research that powers Copilots across Excel, Visual Studio, Power BI, SQL Server and other flagship products. With nine years at Microsoft and a PhD from UC Davis, he translates cutting-edge research into shipped features and published work across ML, PL, SE and DB venues including ICLR, POPL and PLDI. His group’s by-example synthesis work (e.g., FlashExtract, Excel Formula by Example) has been productized broadly, and earlier academic work discovered 600+ real bugs in GCC/LLVM—most fixed upstream. Known for bridging deep theory and pragmatic engineering, he routinely moves ideas from conference papers into enterprise-scale tools used by millions.
9 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, A, Doctor of Philosophy (Ph.D.), Computer Science, A at University of California, DavisBachelor's Degree, Computer Science, Bachelor's Degree, Computer Science at University of Technology, Vietnam National University at Ho Chi Minh City
Vietnamese, English
Github Skills (32)
tla10
python10
data-science10
data-manipulation10
dataframes10
pandas10
openxml10
manipulation10
data-transformation10
sample-data10
data-structures10
prose10
frame10
data-analysis10
labview9
Programming languages (5)
Github contributions (5)
vuminhle/pandas
Jun 2018 - Dec 2018
Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
Contributions:25 pushes, 4 branches, 3 tags in 5 months
polarspythondatalabeled-datamanipulation
microsoft/prose
Feb 2017 - Aug 2021
Contributions:14 commits, 11 pushes, 4 comments in 4 years 7 months
synthesistlasdk-examplemicrosoftplayfab
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.