Madan Musuvathi is a Researcher at Microsoft Research. His research focuses on analysis techniques for large and complex systems. His research interests includes systems, program analysis, model checking, and verification techniques. He received his Ph.D. from Stanford University in 2004 and has been at Microsoft Research since.