R
Research Interests
Formal Methods
Program Analysis & Verification
Systems & Networking
Parallel Computing and Optimization Techniques
Security and Verification in Computing
Distributed Systems and Fault Tolerance
Advanced Data Storage Technologies
Cloud Computing and Resource Management