Portrait of Vu Le

Vu Le

Senior Researcher


Researcher in the PROSE team. I obtained my PhD in 2015 at UC Davis, advised by Zhendong Su and Sumit Gulwani. My research has found 600+ real bugs in GCC and LLVM compilers, and powered popular systems such as Visual Studio, Power Query, Power BI, SQL Server Management Studio, Azure Data Studio, Azure Monitor, PowerShell.