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 like programming languages, formal methods, and applications of techniques from these areas to (concurrency ∪ distribution) and (security ∪ privacy). I aim to develop mathematically principled, language-oriented tools and abstractions for building provably correct, efficient, flexible, and simple software, preferably by-construction.
Miscellaneous
| A Survey of Language-Based Information Flow Control | | A brief and limited survey containing: a basic introduction to the theory of information flow control; some analysis of attempts to integrate IFC techniques into existing programming languages and language ecosystems; some thoughts on language features that enable such integration, particularly of static, type-based IFC. Final project for ECS235B at UC Davis (Spring 2025). |
|
|