Home research People General Info Seminars Resources Intranet
Home Page for Gabriel Dos Reis | Parasol Laboratory


Picture Gabriel Dos Reis
Research Assistant Professor
Programming Tools, Techniques and Languages Group

Parasol Laboratory url: http://parasol.tamu.edu/~gdr/
Department of Computer Science and Engineering email:
Texas A&M University office: 410C HRBB
College Station, TX 77843-3112 tel: (979) 458-1547
USA fax: (979) 458-0718


Gabriel Dos Reis' homepage

My personal website is at http://www.axiomatics.org/~gdr/.

Research

I work on theoretical 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