GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
University of Washington
/
Ratul Mahajan
R
Ratul Mahajan
Associate Professor
Computer Science
,
University of Washington
Research Interests
Cloud Computing
Computer Networking
Formal Methods
Operating & Distributed Systems
Formal Methods in Verification
Software-Defined Networks and 5G
Software System Performance and Reliability
Academic Metrics
Links
Grants