Gabriel Dos Reis
Assistant Professor
Programming Tools, Techniques and Languages Group
Parasol Lab
Department of Computer Science and Engineering
Texas A&M University
College Station, TX 77843-3112
United States of America
url: http://www.axiomatics.org/~gdr/
email: gdr [@] cse.tamu.edu
office: HRBB 410C
tel: (979) 458-1547
fax: (979) 458-0718

Research

I work on foundational and practical aspects of computing.

My interests include software systems and tools, programming methodologies, tools and applications of formal methods, mathematical aspects of software construction, and symbolic mathematics.

You can find a selected list of my publications here.

Courses

This Spring 2013, I am teaching two classes on the topic of programming languages:

Past Courses.

Software