hot air balloon amongst the clouds

Hello! I'm a graduate computer science researcher in the PhD program at UC San Diego, working on programming systems and security. I also wear a lot of hats at FlexWash, building industrial automation, computer vision, managed networking, and IoT/edge computing.

I've previously interned at:

I've also contributed to LiquidHaskell, the Glasgow Haskell Compiler, and Rust's standard library (I just think that's neat).

Contact:

You can find me on GitHub, and reach out over Signal, Telegram, or Discord! I prefer not to be contacted over email, but if you need to, please give me a heads-up first.

Currently Working On:

Research: Cachet (GitHub)
Static checking for secure just-in-time compilers, using Rust, Corral, Boogie, and Z3! Designing a language for building secure compilers, and using it to verify a fork of Firefox's JavaScript JIT.

Fun Projects:

Publications:

Papers marked with * were originally published under my old name.