Ivan Basov
Senior Software Engineer at NVIDIA
Redmond, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolIvan Basov is a Senior Software Engineer and PhD mathematician with over two decades of experience turning advanced mathematical models into production-grade software, currently focused on CUDA-Q at NVIDIA after leading quantum optimization efforts at Microsoft. He blends deep expertise in mathematical optimization, PDE-based modeling and quantum resource estimation with practical systems work across Azure, .NET, and compiler analyzers. Comfortable shipping low-level, high-performance code in Rust, he has also contributed to critical open-source security analysis in the Roslyn analyzer suite by fixing XML-processing false positives. Ivan’s background spans academia and industry—from postdoctoral research in fluid dynamics and lecturing to managing large engineering teams and delivering enterprise cloud SDKs. He is notable for translating rigorous research into deployable solutions for qubit design and industrial optimization, often operating at the intersection of math, compilers, and hardware.
9 years of coding experience
29 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Mathematics, Doctor of Philosophy (Ph.D.) Mathematics at Novosibirsk State University (NSU)
English, Russian
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (10)
xml10
code-analysis10
csharp10
analyser10
xml-parsing10
static-analyzer10
analyzer10
dotnet-core10
unit-testing9
debug8
Programming languages (4)
Github contributions (5)
dotnet/roslyn-analyzers
Oct 2017 - Sep 2019
Role in this project:
Back-end Developer
Back-end DeveloperContributions:13 commits, 20 PRs, 32 pushes in 1 year 10 months
Contributions summary:Ivan primarily contributed to improving the `DoNotUseInsecureDtdProcessingAnalyzer` within the Roslyn analyzer repository. Their commits involved rewriting the analyzer to use the correct APIs and fix false positives related to custom operators, specifically targeting issues around XML processing and security vulnerabilities. These changes include modifications across multiple files and unit tests, suggesting a focus on improving code quality and security analysis capabilities within the .NET Framework. They also addressed related merge conflicts and added a comment, demonstrating an active role in maintenance and code refinement.
colombod/roslyn
Sep 2017 - Jan 2019
Contributions:53 commits in 1 year 4 months
roslyncompilersdotnetcompilervisual-basic
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.