I am systems engineer who focuses on testable, modular software. I enjoy building software which can be easily verified and extended. I advocate for software practices such as the functional core imperative shell model, dependency injection, and protocol driven development.