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/.


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.


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

Past Courses.


Parasol Home | Research | People | General info | Seminars | Resources  

Parasol Laboratory, 425 Harvey R. Bright Bldg, 3112 TAMU, College Station, TX 77843-3112 
parasol-admin@cse.tamu.edu      Phone 979.458.0722     Fax 979.458.0718 

Department of Computer Science and Engineering | Dwight Look College of Engineering Dwight Look College of Engineering | Texas A&M University
Privacy statement: Computer Science and Engineering Engineering TAMU
Web Accessibility Policy and Law - Web Accessibility and Usability Standards  -   Contact Webmaster