| Research interests:
- nonblocking synchronization
- programming tools and techniques
- static analysis
- program modeling and verification
Research lab:
Founder of the Computer Software Engineering - Scalable and Secure Systems (CSE - S3) Lab at UCF.
Experience:
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 with Dr. Bjarne Stroustrup.
Mission Data System Project at the Jet Propulsion Laboratory, Graduate Student Intern.
|
