Aurojit Panda is a fifth year PhD student in Computer Science, advised by Scott Shenker. He works in the NetSys Lab and is also affiliated with the AMPLab. His 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, he was at Microsoft, working on the kernel for a systems incubation project. Before that he received a ScB in mathematics and computer science from Brown University in 2008.