Researcher@Microsoft, working on program synthesis. My work found 500+ GCC and LLVM bugs and shipped in Visual Studio, Power BI, SQL Server, Azure.
-
Microsoft
- Redmond, WA
- vuminhle.com
vuminhle isn’t following anybody.
Learn more about being social on GitHub.