Gabriel Dos Reis
Principal SDE at Microsoft
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.
10 years of coding experience
11 years of employment as a software developer
PhD Mathematics, PhD Mathematics at Ecole Normale Supérieure Paris-Saclay
Stackoverflow
3reputation
207reached
0answers
1question
Github Skills (19)
cpp10
tla8
ifc7
specification7
typescript-generics6
oop6
javascript6
translation4
gsl3
linux2
compiler2
sdk2
stl2
hypervisor2
windows1
Programming languages (5)
Github contributions (5)
microsoft/ifc
Oct 2023 - Mar 2025
SDK for the IFC specification at https://github.com/microsoft/ifc-spec
Contributions:5 reviews, 1 PR, 4 branches in 1 year 5 months
cplusplusifc
microsoft/GSL
Sep 2015 - May 2018
Guidelines Support Library
Contributions:3 reviews, 12 commits, 10 PRs in 2 years 8 months
guidelinessupport-library
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.