The Yogi Project

Established: August 1, 2007

Yogi is a research project within the Rigorous Software Engineering group at Microsoft Research India on software property checking. Our goal is to build a scalable software property checker by systematically combining static analysis with testing. We believe that this synergy of testing and static analysis can be harnessed to efficiently validate software.

People

People

Portrait of Aditya Nori

Aditya Nori

Partner Research Manager

Portrait of Sriram Rajamani

Sriram Rajamani

Distinguished Scientist and Managing Director, Microsoft Research India Lab