About me
Dr. Gabriel Dos Reis is an Architect for Visual Studio at Microsoft, working in the area of large scale software construction, neurosymbolic tools and techniques. His contributions to C++ include scalable generic programming, pioneering compile-time computation, language support for modularity, safety, and security. He is interested in all aspects of software construction with bias towards computational logic, formal methods, and the fun of building useful tools.
