Madan Musuvathi

关于

I am a Partner Research Manager in the Research in Software Engineering group at Microsoft Research. 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.

Bio: Madan Musuvathi is a Partner Research Manager at Microsoft Research managing the RiSE group that focuses on research in programming languages, formal methods, software engineering, and high-performance computing. His research has produced several software reliability and performance-engineering tools that are widely used within Microsoft and other companies. He received the CAV award in 2023 for his fundamental contributions to the field of computer-aided verification. He has won distinguished paper awards at several conferences including PPoPP ’21, SOSP ’19, and OSDI ‘04. One of his co-advisees won the 2012 ACM SIGPLAN Outstanding Doctoral Dissertation Award. He co-chaired the Program Committee of ASPLOS ’24. He received his Ph.D. from Stanford University.