Ph.D., University of California Santa Barbara, 2004.
I am interested in developing scalable analysis techniques that can be used to improve reliability (in terms of functional correctness as well as performance guarantees) of large-scale software systems.
I have recently worked using model checking on detection and fixing of data races in Java programs. My Ph.D. thesis was on Formal Specification and Automated Verification of Infinite-State Concurrent Systems.
Hiring Ph.D. Students
I am looking for motivated students with a solid background in computer engineering. My current projects are in the following areas:
1) Performance Prediction for Cloud Systems,
2) Automated Verification of Device Drivers (special focus on the Linux Kernel)
3) Finding concurrency bugs in large-scale software (special focus on multi-threaded Java applications).
If you are interested in working with me, please send me an email with your Resume or CV and a statement of purpose that elaborates on how your potential and background fits in any of the projects mentioned above.
- Automated HW/SW Verification
- Linux Kernel & Device Driver Programming