News & features
Podcast: A Random Walk from Complexity Theory to Machine Learning. With Dr. Neeraj Kayal and Dr. Ravishankar Krishnaswamy
Sridhar Vedantham: Welcome to the MSR India podcast. In this podcast, Ravishankar Krishnaswamy, a researcher at the MSR India lab, speaks to Neeraj Kayal. Neeraj is also a researcher at MSR India and works on problems related to or at…
Jigsaw fixes bugs in machine-written software
| Rahul Sharma, Suresh Parthasarathy, Sriram Rajamani, Nagarajan Natarajan, and Arun Iyer
Large pre-trained language models such as GPT-3, Codex, and others can be tuned to generate code from natural language specifications of programmer intent. Such automated models have the potential to improve productivity for every programmer in the world. But since…
Podcast: Collaborating to Develop a Low-cost Keratoconus Diagnostic Solution. With Dr. Kaushik Murali and Dr. Mohit Jain
Episode 011 | January 18, 2022 Keratoconus is a severe eye disease that affects the cornea, causing it to become thin and develop a conical bulge. Keratoconus, if undiagnosed and untreated, can lead to partial or complete blindness in…
In the news | Neowin
EzPC: Microsoft’s attempt to enhance data security in AI model validation
Those who have worked in the domain of data science know that developing an artificial intelligence (AI) model typically includes three stages at a high level: training, validation, and testing. When testing the accuracy of the model, there are usually…
EzPC: Increased data security in the AI model validation process
| Nishanth Chandran, Divya Gupta, Aseem Rastogi, and Rahul Sharma
From manufacturing and logistics to agriculture and transportation, the expansion of artificial intelligence (AI) in the last decade has revolutionized a multitude of industries—examples include enhancing predictive analytics on the manufacturing floor and making microclimate predictions so that farmers can…
Research at Microsoft 2021: Collaborating for real-world change
Over the past 30 years, Microsoft Research has undergone a shift in how it approaches innovation, broadening its mission to include not only advancing the state of computing but also using technology to tackle some of the world’s most pressing…
Awards | InfoSys
Neeraj Kayal awarded Infosys 2021 Prize for Mathematical Sciences
The Infosys Prize 2021 in Mathematical Sciences is awarded to Dr. Neeraj Kayal of Microsoft Research lab, Bengaluru, for his outstanding contributions to Computational Complexity. His extensive, innovative work on algebraic computation includes the development of deep lower bound techniques…
Podcast: Accelerating AI Innovation by Optimizing Infrastructure. With Dr. Muthian Sivathanu
Episode 010 | September 28, 2021 Artificial intelligence, Machine Learning, Deep Learning, and Deep Neural Networks are today critical to the success of many industries. But they are also extremely compute intensive and expensive to run in terms of both…
Podcast: Dependable IoT- Making data from IoT devices dependable and trustworthy for good decision making
Episode 009 | June 15, 2021 The Internet of Things has been around for a few years now and many businesses and organizations depend on data from these systems to make critical decisions. At the same time, it is…