I’m Erin (she/her).

• 💙 I’m interested in constructive logic, category theory, functional programming, and computational neuroscience
• 🌱 I’m currently learning Nix, Rust, category theory, and homotopy type theory
• 📓 I’m looking to collaborate on projects involving Nix, Rust, or cool research