Computer science and engineering junior awarded Microsoft scholarship

Carla VilloriaCarla Villoria, a junior in the Department of Computer Science and Engineering at Texas A&M University, has been awarded a Microsoft scholarship for the 2010-2011 school year.The scholarship qualifies Carla to receive $6,000 in tuition coverage. Villoria also will intern this summer at the Microsoft Corp. in the Seattle area."This is great news for Carla, Texas A&M and Microsoft," said Rian Sacquitne of Microsoft University Recruiting. "Carla was chosen out of hundreds of applicants from schools all across North America. We feel Carla is the exact type of high caliber student we look for at Microsoft."Microsoft selection criteria includes full-time enrollment in a bachelor's degree program at a college or university in the United States, Canada or Mexico, and successful progress toward a degree in computer science, computer engineering or a related technical discipline, such as math or physics, with a demonstrated interest in computer science. Candidates are selected on the basis of eligibility, quality of application, commitment to leadership and financial need.Villoria is an international student from Venezuela who is studying computer science and working under the direction of Dr. Gabriel Dos Reis of the Parasol Lab at Texas A&M. Her research is centered on programming language support for algebraic libraries. Villoria is also enrolled in Texas A&M's Undergraduate Research Scholars Program and her thesis is "Tool Support for Axiomatic Programming." She was nominated by Dr. Gabriel Dos Reis and Dr. Bjarne Stroustrup for the Computing Research Association (CRA) Outstanding Undergraduate Research Award for 2010.Written by Kathy Flores,