Hardware & devices
Driving advances in hardware, devices, and cyber-physical systems that expand the possibilities of computing.
Microsoft Research @ HCOMP 2017
We are excited to be a gold sponsor of Human Computation and Crowdsourcing (HCOMP) 2017, the premier venue for disseminating the latest research findings on crowdsourcing and human computation. While artificial intelligence (AI) and human-computer…
Role of Simulation in Computer Vision ICCV 2017
Role of Simulation in Computer Vision – ICCV 2017 Workshop
Microsoft Research @ SPLASH 2017
We are excited to be participating in SPLASH 2017, the ACM SIGPLAN conference that embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and…
Project Catapult Academic Tutorial: Getting Started and Intro to APIs
We will be presenting a series of online tutorial sessions to introduce and provide examples of the work that is possible in the Catapult Academic environment.
Asynchronous Reactive Models – Event-based Analysis of Networks of Actors
Rebeca is designed for modeling and formal verification of asynchronous and reactive systems in 2001, and is supported by a model-checking tool, Afra. Followed by that, an actor-based family of languages are introduced to enable…
Project Catapult Academic Tutorial
We will be presenting a series of online tutorial sessions to introduce and provide examples of the work that is possible in the Catapult Academic environment.
Scale-out acceleration for machine learning
Resilience and Security in Cyber-Physical Systems: Self-Driving Cars and Smart Devices
The future will be defined by autonomous computer systems that are tightly integrated with the environment, also known as Cyber-Physical systems (CPS). Resilience and security become extremely important in these systems, as a single error…
