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




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

Parasol Lab, 301 Harvey R. Bright Bldg, 3112 TAMU, College Station, TX 77843-3112 
Contact Webmaster      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