Madanlal Musuvathi named ACM Fellow
Madanlal was selected by his peers for the development of methods in concurrency verification and testing, and machine learning systems design.
Below please find an index of news and awards that recognize Microsoft researchers’ contribution to scientific research and commitment to advancing computer science.
Madanlal was selected by his peers for the development of methods in concurrency verification and testing, and machine learning systems design.
As AI transforms how we work, live and learn, higher education is more than another player — it needs to lead the way. Higher education must strike a balance as it prepares the next generation…
The project represents a significant step forward in understanding immune responses at the tissue level. By generating and analyzing large datasets using artificial intelligence and machine learning, the team will develop tools to measure and…
In Malawi, one in three women is a victim of violence. Almost one in ten girls is forced into marriage before turning 15. But fewer than 800 lawyers serve the population of 22 million. What chance does…
Food systems, on land and at sea, are foundational to global economies and human flourishing. They are sources of livelihood for millions of people and provide nutrition for everyone on the planet. Yet today, these…
From look-alike SUVs to AI interfaces, designers from Figma, Microsoft, Pentagram, and more reveal the objects, places, and experiences they’re working to improve this year.
Global adoption of artificial intelligence continued to rise in the second half of 2025, increasing by 1.2 percentage points compared to the first half of the year, with roughly one in six people worldwide now using generative…
January 7 – In the past decade, cloud-scale analytics tools have transformed the digital fight against deforestation. Instead of manual reviews of satellite images taking multiple months, land-use change can today be monitored in near-real…
Welcome to a special edition of Tools and Weapons, as Brad Smith and Juan M. Lavista Ferres review the results from Microsoft’s newest AI Diffusion Report. These show the state of global AI usage as…