Synthesis for robots: guarantees and feedback for complex behaviors

Vis4Good: Data Visualization in Community Service

Sample-based Models of Biomolecular Structure and Dynamics as Microscopes over the Healthy and the Diseased Cell

Structured Prediction: Data Analytics Meets Applications.

Allowing Bounded Leakage in Secure Computation: A New Application of Differential Privacy

Decision Guidance Systems and Applications to Manufacturing, Power Grids, Supply Chain and IoT