I recently earned my Ph.D. from Johns Hopkins University in August of 2015. My research interests include robust operating systems, safe language run-times, access control mechanisms, machine-assisted verification, and advanced type systems. My doctoral dissertation provides a machine-checked, axiom-free proof that demonstrates how capability-based systems enforce confinement. I plan to continue designing and constructing mechanisms to produce robust systems and increase confidence in their behavior.