A generalist software engineer with 5 years of experience. Passionate about finding the right quality vs speed balance. Most of my experience is back-end, but I'm motivated by engineering challenges regardless of platform, language or stack. More recently interested in formal methods and dabbling in stuff like model checking and proof assistants.
