Hello! I'm a software engineer with a passion for writing type-safe, performant, and scalable code. I especially enjoy using functional programming techniques and abstractions to reason about code, verify behavior, and push complexity onto the compiler to eliminate unexpected runtime behavior. My focus on efficiency is second only to my goal of writing correct, high quality code.
I have professional experience writing application backends in Scala, Ruby, and PHP, and frontends in TypeScript, HTML, and CSS. Additionally, I've explored many other languages (Haskell, Elixir, and Rust are some favorites) in personal projects, and I'm always eager to expand my skillset by experimenting with new technologies and tackling interesting challenges.