GABRIEL DOS REIS

Assistant Professor

Email: gdr@cs.tamu.edu
Phone: 979/458-1547; Fax: 979/847-8578
Office: HRBB 410C
http://parasol.tamu.edu/people/gdr

Ph.D. Mathematics, University of Paris VII and École Normale Supérieure de Cachan—France, 2001
M.S. (Magistère) Mathematics and Computer Science, École Normale Supérieure de Cachan—France, 1997
B.S. (Maîtrise) Mathematics, University of Paris VII—France, 1997

RESEARCH INTERESTS

Computer methods in geometry, computer algebra, mathematical software, programming languages and libraries, generic programming

AWARDS

William Procter Grant-in-Aid Research, 2005

EXPERIENCE

Assistant Professor, Department of Computer Science, Texas A&M University, 2006 - present

Postdoctoral Research Associate, Department of Computer Science, Texas A&M University, 2003-2006

Postdoctoral Research Associate, INRIA Sophia Antipolis (France), 2002-2003

Temporary Assistant Professor, Department of Mathematics and Computer Science, École Centrale de Lyon (France), 2001-2002

PROFESSIONAL ACTIVITIES AND SERVICE

ISO C++ Standardization committee member, 1997-Present.

AFNOR (French national body for standardizations) C++ committee member, 1997-Present.

Reviewer for Compiler Optimization meets Compiler Verification, ETAPS Workshop; Software - Practice & Experience.

Release Manager for the GNU Compiler Collection (GCC).

GNU Compiler Collection contributor, 1997-Present.

Contributor to the Axiom computer algebra system, 2005-Present.

SELECTED PUBLICATIONS

Gabriel Dos Reis, Bjarne Stroustrup, "Specifying C++ Concepts." In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 295 - 308, January 2006.

Bjarne Stroustrup, Gabriel Dos Reis, "Supporting SELL for High-Performance Computing." In 18th International Workshop on Languages and Compilers for Parallel Computation, October 2005.

Gabriel Dos Reis, "Asymptotics of CMC Surfaces with Polynomial Hopf Differential." Calculus of Variations and Partial Differential Equations, 19, no. 3, pp. 257-267, 2004.

Gabriel Dos Reis, Bernard Mourrain, Fabrice Rouiller, Philippe Trébuchet, "An Environment for Symbolic and Numeric Computation." In Proceeding of the International Conference on Mathematical Software, World Scientific, pp. 239-249, 2002.