λucas δu

a picture of my face I am a 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 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.