Hybrid modeling and robustness analysis of cell cycle regulatory circuitry

Apprenticeship Learning for Robotic Control with Application to Quadruped Locomotion and Autonomous Helicopter Flight

Inferring What's Out There: Probabilistic Reasoning about Unknown Objects

Optimizing Sensing from Water to the Web

Fighting Concurrency Bugs

Analysis and Defense of Vulnerabilities in Binary Code

A Theory of Similarity Functions for Learning and Clustering

Security through the Lens of Failure

Robust and Efficient Robotic Mapping

Secure Web Applications and Expressive Security Policies

Telling the Story of an Image

Seeing at a Glance: Psychophysical and fMRI Studies on Rapid Natural Scene Perception

Mobile Music Making between Realtime Sound Synthesis and Mobile HCI