Research
Driving advances in hardware, devices, and cyber-physical systems that expand the possibilities of computing.
Brain-computer interfaces are used for many applications nowadays. New sensor technology and wireless systems allow an easier and faster usage. Nevertheless, every single step must be done correctly to achieve high accuracies. EEG electrodes, amplifiers,…
cheriot-ibex is a RTL implementation of CHERI ISA based on LowRISC’s Ibex core. More specifically, cheri-ibex is a 32-bit RISC-V microcontroller which implements the CheriIoT ISA extension in addition to RV32IMCB. Same as the original…
This repository contains an implementation of the CHERIoT ISA in Sail. It contains an executable description of the CHERIoT instruction set that can be used to build an instruction set emulator and also prove properties…
This repository contains the core RTOS components for the CHERIoT research platform. This is currently a research project that has been open-sourced to enable wider collaboration. It is not yet in a state where it…
Microsoft Research India, in collaboration with the Sankara Eye Hospital, developed SmartKC, a low-cost, smartphone-based corneal topographer that can diagnose keratoconus. In a pilot clinical study, SmartKC achieved a sensitivity of 94.1% and a specificity…
Statistical decisions are often given meaning in the context of other decisions, particularly when there are scarce resources to be shared. Managing such sharing is one of the classical goals of microeconomics, and it is…
The Microsoft Research Special Projects group operates on the boundary between engineering and research to drive breakthrough innovation. We are a research group with world-class specialists solving highly uncertain, complex problems. We build technologies to…
