I design, build, maintain, deploy, and manage distributed systems while transforming teams to be more effective through individual growth, technical leadership, re-organization, and streamlining processes.
Feel free to ask me:
how I might be able to help your Engineering organization live up to their highest potential;
how I could streamline your delivery workflow and also improve quality;
how I can grow an engineering mindset that allows engineers to take on projects of greater complexity without adding risk;
how I would improve productivity by optimizing for Flow;
how you could use algebraic properties to test-infect our distributed systems;
how I have used functional programming techniques to configure infrastructure more consistently leading to reduced downtime;
how I have led teams building type-safe software that reduced long-term maintenance costs
Current general purpose languages:
Haskell
JavaScript/TypeScript
PureScript
Scala
Current configuration langauges:
Dhall
Nix
Current interests include practical use of formal methods for verification and risk management in software delivery, congruent configuration management (e.g. NixOS), and declarative infrastructure.