Downloads
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
Principal Research Software Engineer
Corporate Vice President and Managing Director, Microsoft Research India Lab
Partner Researcher
Emeritus Researcher