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 email, Signal, Telegram, or Discord (@notspinda)!

Currently Working On:

Research: Icarus
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 chunks of Firefox's JavaScript JIT.

Fun Projects:

Publications:

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