Home research People General Info Seminars Resources Intranet
Home Page for Carla Villoria Burgazzi | Parasol Laboratory

Picture Carla Villoria Burgazzi
Undergraduate Student
Programming Tools, Techniques and Languages Group

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

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