I am a computer science MS student at UC Davis, advised by Caleb Stanford. Previously, I worked on cloud storage at eBay. Even before that, I was an undergraduate at UChicago. I am a computer science MS student at UC Davis, advised by Caleb Stanford. Previously, I worked on cloud storage at eBay. Even before that, I was an undergraduate at UChicago.
I’m interested in programming languages and formal methods, with an eye to increasing the correctness, security, privacy, and simplicity of realistic software systems in provable and foundational ways. I also have a particular interest in concurrent and distributed systems. More broadly, I want to help move software away from heuristics and hacks and onto more solid, elegant, and principled ground.