Donald Nguyen

Ph.D. Student
Advisor: Keshav Pingali
Group: Intelligent Software Systems

Department of Computer Sciences
The University of Texas at Austin
Taylor Hall 2.124
1 University Station
Austin, TX 78712

Email:

Office: ACES 4.104
CV

Research Interests

Formal methods
Software verification
Program optimization
Advanced hardware architectures
Formal methods hoedown
PLLunch

Education/Employment

Ph.D. in Computer Science. The University of Texas at Austin. Austin, TX (2007-present).
Engineer. Reservoir Labs. New York, NY (2004-2007).
B.S. in Computer Science. Yale University. New Haven, CT (2000-2004).

Publications

General Interests