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, managed networking, and IoT/edge computing for the underserved car wash industry.

I've previously interned at:

I've also contributed to LiquidHaskell, the Glasgow Haskell Compiler, and Rust's futures library.

GitHub: @spinda

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: