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:
Parasol Home | Research | People | General info | Seminars | Resources
Parasol Laboratory, 425 Harvey R. Bright Bldg, 3112 TAMU, College Station, TX 77843-3112
email@example.com Phone 979.458.0722 Fax 979.458.0718
Department of Computer Science and 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