E
Research Interests
High-Performance Computing (scalable Systems)
Programming Languages (formal Verification and Testing)
Security / Privacy (systems Security)
Systems (networking, Scalable Systems)
Software System Performance and Reliability
Security and Verification in Computing
Distributed Systems and Fault Tolerance
Cloud Computing and Resource Management
Software Engineering Research