Group Lead & Lead Cyber Security Engineer at MITRE. Professionally interested in secure software development, software assurance, and software supply chain risk management. Personally interested in Rust, Haskell, static analysis, type theory, programming language theory.
GitHub | Twitter