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