Experience
Education
Bio
I lead the WISR research group. We work on building software systems that improve the performance, security and correctness of modern cloud computing infrastructure and applications. Our current focus is on network verification/repair/synthesis, systems for efficient big data processing, low latency networking, and serverless computation.