| 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.
Research interests:
- nonblocking synchronization
- programming tools and techniques
- static analysis
- program modeling and verification
Currently I am at the Scalable Computing R&D Dept. at Sandia Livermore as a Senior Member of Technical Staff.
|
