Finding, and plugging, the security holes in SCADA.

Increased availability of cloud services and ownership of multiple digital devices create unique opportunities for di...

In this work, we present CertiKOS, a novel compositional framework for building verified concurrent OS kernels.

Data science as a paradox.

Exploiting a simple, expressive logic based on relations to describe designs and automate their analysis.

EarSketch leverages the appeal of music to create a learning environment that allows students to be expressive with c...

We present OpenFab, a programmable pipeline for synthesis of multimaterial 3D printed objects that is inspired by Ren...

Interactions with robotics teach us more about people.

Self-driving cars will need good communication skills.