Portrait of Madan Musuvathi

Madan Musuvathi

Partner Research Manager

About

I am a Partner Research Manager in the Research in Software Engineering (opens in new tab) group at Microsoft Research (opens in new tab). My research focus is on scalable analysis of concurrent systems. More broadly, my interests include systems, program analysis, model checking, verification, and theorem proving. I spend a lot of time at Microsoft building analysis tools to improve the productivity of software developers and testers.

My current research projects include:

  • Efficient Parallel Algorithms
  • End to End Sequential Consistency
  • Concurrency Fuzzing
  • Memory Models
  • CHESS

I obtained my M.S. and Ph.D. at Stanford University (opens in new tab), where I worked under the guidance of Prof. David L. Dill (opens in new tab) and Prof. Dawson Engler (opens in new tab). Before that, I got my B.Tech. in Computer Science from the Indian Institute of Technology (IIT), Chennai (which was then called Madras).