Gabriel Dos Reis
Principal SDE at ISO C++ Standards Committee
Redmond, Washington, United States
Summary
🤩
Rockstar🎓
Top School
Top expert inModern C++ Development and Cross-Platform Computing
Gabriel Dos Reis is a Principal SDE at Microsoft and a long-time C++ expert active in the ISO C++ Standards Committee, combining deep language design knowledge with production-grade engineering. With roots as a GCC contributor and release manager and a PhD in mathematics from École Normale Supérieure Paris-Saclay, he brings decades of compiler, tooling and formal thinking to large-scale software problems. His career spans academia and industry—postdoctoral research and an assistant professorship at Texas A&M—so he blends rigorous research methods with pragmatic shipping experience. Based in Redmond, he’s known for influencing both standards and implementations, quietly shaping C++’s evolution while delivering robust software at Microsoft.
11 years of coding experience
11 years of employment as a software developer
PhD Mathematics, PhD Mathematics at Ecole Normale Supérieure Paris-Saclay
Github Skills (24)
cpp10
ifc9
specification8
realms8
tla8
compiler6
relational-algebra6
gsl6
sympy6
dfa5
hypervisor5
markov-decision-processes5
agda5
algebra4
stl3
Programming languages (8)
Github contributions (5)
gdr-at-ms/open-axiom
Apr 2026 - Jul 2026
Contributions:1 PR, 35 pushes, 25 branches in 2 months
gdr-at-ms/ipr
Mar 2026 - May 2026
Compiler-neutral Internal Program Representation for C++
Contributions:4 pushes, 3 branches in 2 months
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.