Software engineer with an interest in programming language design and formal methods. I love my dog Peanut, Rust, VS Code, Sushi and, most of all, my partner.