electricfirefly

Hey all! I'm a computer scientist working in in PL theory, zero knowledge proofs, cryptography, and formal methods. Rust, Agda, Haskell

Portland