Microsoft Research Lab – India

Established: December 26, 2008

NEWS: The ACM SenSys 2008 paper on Nericell received both the ACM SIGMOBILE Test-of-Time Award and the ACM SenSys Test-of-Time Award in 2019. The Nericell project focuses on road and traffic monitoring using an ensemble of mobile smartphones carried by people…

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.