Hardware & devices
Driving advances in hardware, devices and cyber-physical systems.
Event
Swiss Joint Research Center Workshop 2020
The 7th annual workshop of the Swiss Joint Research Center, a collaborative engagement between Microsoft Research and ETH Zurich and EPFL, took place January 29-30, 2020 at EPFL in Lausanne. Each of the twelve project teams…
Video
High Throughput Computing in the Service of Scientific Discovery
For more than three decades we have been engaged in translating the potential of distributed computing into effective High Throughput Computing (HTC) software tools. The widely adopted HTCondor distributed resource and job management system that…
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…