Systems & networking
Researching and inventing new technologies for next-generation infrastructures and platforms for sensors, devices and the cloud.
Project
Visual Studio Code Tools for AI
Visual Studio Code Tools for AI is an extension to build, test, and deploy Deep Learning / AI solutions. It seamlessly integrates with Azure Machine Learning for robust experimentation capabilities, including but not limited to…
Project
Komodo: Using verification to disentangle secure-enclave hardware from software
Komodo is a formally-verified reference monitor for an attested, secure isolated execution environment (“enclave”) on ARM TrustZone. It illustrates an alternative approach to Intel’s SGX, achieving similar security guarantees through formal verification, and allowing enclave…
Event
Microsoft @ Grace Hopper
The 2017 Grace Hopper Celebration of Women in Computing (GHC) is the world’s largest gathering of women technologists, where the best minds in computing convene to highlight the contributions of women to computing. Microsoft is a proud…
Publication
Exploring Indoor White Spaces in Metropolises
Video
Democratization of Streaming Video Analytics & the Emergence of Edge Computing
Keynote Speaker – Dr. Victor Bahl (Microsoft Research) “Democratization of Streaming Video Analytics & the Emergence of Edge Computing”
