I am an international undergraduate student from Venezuela majoring in Computer Science. I work under the direction of Dr. Gabriel Dos Reis and my research is centered on programming language support for algebraic libraries.
During Academic year 2009-2010 I will be implementing an interpreter for a subset of ISO C++ augmented with "axioms". A technical report of the interpreter, named Liz, can be found here.
I am enrolled in the Undergraduate Research Scholars Program, and I am currently writing my thesis,"Tool Support for Axiomatic Programming."
Parasol Home | Research | People | General info | Seminars | Resources
Parasol Laboratory, 425 Harvey R. Bright Bldg, 3112 TAMU, College Station, TX 77843-3112
firstname.lastname@example.org 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