I'm a software engineer, mathematician, and cyclist. I'm fond of things like UNIX, text and terminal-based workflows, functional programming, and software verification.