Hardware & devices
Driving advances in hardware, devices and cyber-physical systems.
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…