Profile

Cover photo
Gabriel Dos Reis
Works at Microsoft
48,828 views
AboutPosts

Stream

Gabriel Dos Reis

Shared publicly  - 
 
C++ Nouveau is here.
C++14 is done! Following the Issaquah meeting in February, we launched the Draft International Standard (DIS) ballot for the next C++ standard. That ballot closed on Friday. Today, we received the notification that the ballot was unanimously successful, and therefore we can proceed to ...
6
Add a comment...

Gabriel Dos Reis

Shared publicly  - 
 
 
I am deeply honored!
The Microsoft Research Verified Software Milestone Award is made to Xavier Leroy for the CompCert Project. Specifically, the award is given in recognition for Xavier's role as architect of the CompCer...
6 comments on original post
1
Add a comment...

Gabriel Dos Reis

Shared publicly  - 
 
Local news.
Dr. Gabriel Dos Reis, assistant professor of computer science and engineering, received the National Science Foundation (NSF) CAREER award on February 13, 2012 for his continuing investigation of form...
16
1
White Wolf's profile photoAlf Steinbach's profile photofanny Dos Reis's profile photo
2 comments
 
Congratz!
Add a comment...

Gabriel Dos Reis

Shared publicly  - 
 
Last year, a Japanese spacecraft brought asteroid dust back to Earth for the first time, and now researchers who studied it have confirmed that most meteorites on Earth originate from asteroids like t...
1
Add a comment...

Gabriel Dos Reis

Shared publicly  - 
1
Robert Harper's profile photoGabriel Dos Reis's profile photo
2 comments
 
Is this what people mean when they talk about commercial space flight competition? :-)
Add a comment...

Gabriel Dos Reis

Shared publicly  - 
 
 
Symbolic computation in the small: Math on mobile
View original post
1
Add a comment...

Gabriel Dos Reis

Shared publicly  - 
1
Add a comment...

Gabriel Dos Reis

Shared publicly  - 
1
Jasson Casey's profile photoGabriel Dos Reis's profile photo
2 comments
 
Indeed. :-)
Add a comment...

Gabriel Dos Reis

Shared publicly  - 
 
As recently as 2008, scientists thought that Neanderthals and modern humans had never mated.
1
Janet Lafler's profile photo
 
That's interesting. There's an article about Neanderthal/Sapiens interbreeding in the most recent New Yorker, but I haven't read it yet.
Add a comment...
Work
Employment
  • Microsoft
    present
  • Texas A&M University
    Assistant Professor, 2006 - 2013
  • INRIA Sophia Antipolis
  • Ecole Centrale de Lyon
Links
Other profiles
Contributor to