Dos Reis awarded NSF grant for generic programming

Dr. Gabriel Dos Reis, assistant professor in the Department of Computer Science and Engineering at Texas A&M University, was awarded a National Science Foundation (NSF) grant for his research project, "Supporting Generic Programming in C++ for Modular and Reliable Large-Scale Software."Photo of Dr. Gabriel Dos Reis

Dos Reis is the principal investigator on the grant and the co-principal investigator is Dr. Bjarne Stroustrup. The grant is funded through the NSF crosscutting program, Software Infrastructure for Sustained Innovation (SI^2), for three years. NSF established SI^2 with the overarching goal of transforming innovations in research and education into sustained software resources that are integral part of the cyberinfrastructure in order to nurture, accelerate and sustain the critical mode of scientific progress.

The goal of this research project is to investigate and develop software tools and programming models that support scalable and modular generic libraries.

"Generic programming has the potential of an effective methodology for building large-scale, reliable, maintainable, and efficient software artifacts. It is supported by the C++ programming language through the 'template mechanism," Dos Reis said. "At the core of this project is the investigation of a direct linguistic support for requirements on template arguments (or concepts), and their implementations in an open source compiler and libraries made freely available to the public, the research and education community."

Dos Reis received his Ph.D. in mathematics from the University of Paris VII and École Normale Supérieure de Cachan—France in 2001. He worked as a postdoctoral research associate for INRIA Sophia Antipolis in France and for the Department of Computer Science and Engineering at Texas A&M before joining the university faculty. He recently received the prestigious NSF CAREER award.

Dos Reis' research interests include computer algebra, formal verification, programming languages, compiler construction, and generic programming. He is a trustee of the Calculemus project; project lead of the OpenAxiom computer algebra system; project lead of the Liz programming system; member of the ISO C++ Standards Committee; and member of the AFNOR (French national body for standardizations) C++ committee.