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.