Research
Below please find an index of news and awards that recognize Microsoft researchers’ contribution to scientific research and commitment to advancing computer science.
Microsoft Research’s Z3 theorem prover received the 2015 ACM SIGPLAN Programming Languages Software Award (opens in new tab). This prestigious award honors an institution or individuals for “developing a software system that has had a…
Microsoft has has launched an air quality mobile app for users in China.
Project Permonition aims to create a worldwide system for collection and genomic analysis of mosquitoes, capable of detecting potential pathogens and their geographic spread, before they cause disease in the human population.
Susan Dumais was inducted into the American Academy of Arts & Sciences (opens in new tab)—one of the United States’ oldest and most prestigious honorary societies, which includes scholars and practitioners from many disciplines and…
Lauter spoke about how cryptography will have to change in the advent of quantum computing, and how mathematics will yet again provide both the tools and the weapons in battle to protect information.
In what was one of the most viral episodes of 2017, political science Professor Robert E Kelly was live on BBC World News talking about the South Korean president being forced out of office when…
Ravindran Kannan was inducted into the American Academy of Arts & Sciences (opens in new tab)—one of the United States’ oldest and most prestigious honorary societies, which includes scholars and practitioners from many disciplines and…
Microsoft is also leading the way on securing the DNA data it gathers. At the 2014 American Association for the Advancement of Science’s annual conference, Kristin Lauter, who heads up Microsoft’s cryptography research, discussed an…
Quantum computers potentially offer a faster way to calculate chemical properties, but the exact implications of this speed-up have only become clear over the last year.