I am an incoming computer science MS student at UC Davis. Previously, I worked on cloud storage at eBay. As an undergraduate, I studied computer science at UChicago. I am an incoming computer science MS student at UC Davis. Previously, I worked on cloud storage at eBay. As an undergraduate, I studied computer science 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. 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.