CS senior at Purdue. I write low-level software: systems, compilers, programming languages, formal verification.
Student researcher on Gibbon a compiler that operates on serialized data without deserializing it.
Currently a PM intern at Cloudflare working on Gateways.