About Me

👋 Hello, I’m Hank.
🎓 I’m an Electrical Engineering undergrad interested in computer science.
🚀 My main passions are compilers, programming languages, and computer architecture.
💻 I write code in Rust, Swift, Haskell, and Lean 4.
🛠 For tooling, I live in Neovim and Nix.
🎾 When I’m not coding, I’m on the tennis court.
🎶 I unwind with Melodic Dubstep and Tropical House on repeat.

ORCID iD: