About Me

I'm a full-stack software engineer with a background in theoretical Computer Science (think type theory & language design). I love finding elegant solutions to complex problems, especially when it leads to reliable and easy-to-use software.

I'm having a lot of fun with Rust at the moment! The ownership model for memory management is really special and it's helped me think about low-level concepts in completely new ways. That and having the most theoretically robust type system of all mainstream (sorry Haskell) languages out there.