Anna Gringauze
Software Engineer at NVIDIA
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolAnna Gringauze is a seasoned software engineer with 11+ years focused on compilers, static analysis, programming languages, formal verification, security, and distributed systems. She has driven developer-facing tooling and debugging features at Google for Dart and Flutter—contributing to high-profile repos like dart-lang/sdk and flutter/flutter—and now works on quantum computing at NVIDIA. Previously she led teams at Microsoft building C++ code analysis and IntelliSense for Visual Studio, blending research-grade verification experience from IBM with product-focused engineering. Her work often sits at the intersection of compilers and developer productivity, exemplified by debugger expression evaluation and build-system improvements for web tooling. Based in Seattle, she pairs deep technical expertise with a track record of shipping robust, debuggable language tooling.
10 years of coding experience
19 years of employment as a software developer
Unfinished phd Computer Science, Unfinished phd Computer Science at University of WashingtonMaster of Science - MS Computer Science, Master of Science - MS Computer Science at Technion - Israel Institute of TechnologyB.A. Applied Math and Cybernetics, B.A. Applied Math and Cybernetics at Tomsk State University
Github Skills (15)
testing10
debugging10
debug10
flutter-game10
dart10
mobile-development10
flutter-apps10
flutter10
web-development9
ios8
android8
webpages7
web-content7
cross-platform7
app-framework7
Programming languages (9)
Github contributions (5)
flutter/flutter
Apr 2020 - Sep 2022
Flutter makes it easy and fast to build beautiful apps for mobile and beyond
Role in this project:
Mobile Developer (Android/iOS)
Mobile Developer (Android/iOS)Contributions:42 reviews, 29 commits, 55 PRs in 2 years 5 months
Contributions summary:Anna primarily worked on the Flutter framework, focusing on debugging and improving the testing infrastructure. Their contributions include fixing race conditions in test drivers, resolving failures in web tool tests, and enhancing the reliability of hot reload functionality. The commits demonstrate a focus on ensuring the quality and stability of the Flutter toolchain, particularly for web and mobile development, by addressing issues related to debugger stepping and expression evaluation.
skiaiosmobilemobile-gamemacos
dart-lang/build
Sep 2020 - Oct 2021
A build system for Dart written in Dart
Role in this project:Back-end Developer
Back-end DeveloperContributions:49 reviews, 9 commits, 19 PRs in 1 year 1 month
Contributions summary:Anna primarily focused on enhancing the build process for Dart web applications, specifically within the `build_web_compilers` package. Their work included adding features like generating full kernel files for debugging, and fixing metadata paths. They also made significant contributions to the project, including optimizations and adding tests.
dartbuild-systemflutterconventionsdart-build-system
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.