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