|
Research interests:
- nonblocking synchronization
- programming tools and techniques
- static analysis
- program modeling and verification
Research:
Department of Electrical Engineering and Computer Science, University of Central Florida, Assistant Professor.
Scalable Computing R&D Dept. at Sandia Livermore, Senior Member of Technical Staff.
I have recently completed my Ph.D. in Computer Science at the Parasol Lab at Texas A&M University. Since 2003 I have been working with Dr. Bjarne Stroustrup as my mentor and dissertation advisor.
|
