abstract pattern on dark purple background

Microsoft Research Lab – India

Nouvelles et reportages

Collage of four images. 1) a VR haptic pivot device 2) Ashley Lorens of Microsoft Research 3) an image of tractor on a farm 4) image of Race and Technology lecture series speakers.
Blog de recherche Microsoft

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…

Prix | InfoSys

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…

Microsoft Research India Podcast

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…

Photograph of two men: Akhay (LH) and Ajay (RH)
Microsoft Research India Podcast

 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…

Akshay_podcast

Dans l’actualité | Microsoft Research India Podcast

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 also well recognized that this data- even…

IoTShow

Dans l’actualité | Internet of Things Show

Data is the new oil. Customers are increasingly using sensors to collect data and use that to make critical business decisions. The quality of data drives the quality of decision and outcomes. Verified Telemetry is a new capability offered as…

An animation showing an example of a high-level language message format specified by EverParse. From the message, two arrows labeled “EverParse” point to a rectangle labeled “formal specification” and a rectangle labeled “low-level implementation,” respectively, inside a larger rectangle labeled “F* code.” The figure represents EverParse’s ability to automatically generate safe, correct, and fast F* parsing code. “Correctness” is defined as “Correctness: ​parse (serialize msg) = msg​” and “valid msg ==> serialize (parse msg) = msg​.” The F* logo appears with the description that F* is a type theory–based programming language and proof assistant that can prove theorems about programs​. From the “F* code” rectangle, arrows point from the “low-level implementation” rectangle and a rectangle labeled “verified libraries for combinators” to a rectangle labeled “Safe high-performance C code.”
Blog de recherche Microsoft

| Tahina Ramananandro, Aseem Rastogi, et Nikhil Swamy

EverParse is a framework for generating provably secure parsers and formatters used to improve the security of critical code bases at Microsoft. EverParse is developed as part of Project Everest, a collaboration between Microsoft Research labs in Redmond, Washington; India;…

Sriram Rajamani - podcast photo
Microsoft Research India Podcast

   Episode 008 | April 20, 2021 Podcast: Research @Microsoft Research India: interdisciplinary and impactful. With Dr. Sriram Rajamani Microsoft Research India is constantly exploring how research can enable new technologies that positively impact the lives of people while…

A circular flow chart of the QL framework. At the top is a rectangle labeled “QL Scheduling Strategy” with the word “Agent” in parenthesis, representing that the strategy is mapped to an RL agent. From the rectangle, an arrow points around to a rectangle below it that contains a input state space. The rectangle is labeled “Program under test” with the word “Environment” in parenthesis, representing that the program is mapped to the unknown environment. The arrow is labeled “Next op,” and alongside it are the Softmax selection function and the value update formula.
Blog de recherche Microsoft

| Suvam Mukherjee

Many of our online activities, from receiving and sending emails to searching for information to streaming movies, are driven behind the scenes by cloud-based distributed architectures. Writing concurrent software—programs with multiple logical threads of execution—is of paramount importance to scale…