I am a fourth year PhD student in Computer Science, advised by Scott Shenker. I work in the NetSys Lab and am also affiliated with the AMPLab. My research looks at how to provide resilience guarantees for practical distributed systems both by statically verifying properties and using lightweight runtime mechanisms to enforce properties.

Previously, from 2008-2011, I was at Microsoft, working on the kernel for a systems incubation project. Before that I received a ScB in mathematics and computer science from Brown University in 2008.

For 2012-2013, I was partially supported by a Qualcomm Innovation Fellowship.

Please see my CV for further information.


419 Soda Hall

Papers