Microsoft Research blog
People
Peli de Halleux
Principal Research Software Engineer
Sriram Rajamani
Corporate Vice President and Managing Director, Microsoft Research India Lab
Thomas Ball
Partner Researcher
Tony Hoare
Emeritus Researcher