Hardware & devices
Driving advances in hardware, devices and cyber-physical systems.
Video
HAMS: Smartphone-based Driver License Testing Automation
The HAMS project at Microsoft Research India has been used to automate driver license testing, by having a windshield-mounted smartphone use its front/rear camera and other sensors, to monitor the driver and their driving during…
Microsoft Research Blog
The inner magic behind the Z3 theorem prover
It’s not uncommon for us to hear that the Z3 theorem prover is magical, but the frequency of such complimentary feedback doesn’t make it any less unexpected—or humbling. When we began work on Z3 in…
Video
HapSense: A Soft Haptic I/O Device with Uninterrupted Dual Functionalities of Force Sensing and Vibrotactile Actuation
We present HapSense, a single-volume soft haptic I/O device with uninterrupted dual functionalities of force sensing and vibrotactile actuation. To achieve both input and output functionalities, we employ a ferroelectric electroactive polymer as core functional…
Video
RDMA: Provably More Powerful Communication
In recent years, a technology known as Remote Direct Memory Access (RDMA) has made its way into data centers, earning a spotlight in distributed systems research. RDMA provides the traditional send/receive communication primitives, but also…
Video
Advanced polarized light microscopy for mapping molecular orientation
Polarization is a basic property of light, but the human eye is not sensitive to it. Therefore, we don’t have an intuitive understanding of polarization and of optical phenomena that are based on it. And…
Microsoft Research Blog
Rocket-fast embedded TypeScript for MakeCode Arcade
When we began developing Microsoft MakeCode, a computing education platform, it was all about making programming easier, more engaging, and just plain friendlier. After all, if we were going to inspire the next generation of…
