University of California, Berkeley Advisor: Sanjit A. Seshia
GSRC theme: resiliency Expected graduation: Dec, 2012