Chris Ford

Chris is a certified BABE (Bachelor of Arts, Bachelor of Engineering), and consequentially an idiophile and technophobe. Chris believes in the power of functional programming to give us tools for thought that let us tackle otherwise impossible problems. His other programming interests include microservices, Lisp and using programs to generate music. When he works, he works for ThoughtWorks, though that isn't all the time.

Full Stack Fest 2017

Chris Ford

Flying Spaghetti Monster: verifying protocols with types and finite-state machines

As we move away from monolithic architectures towards systems comprised of cooperating services, we introduce new opportunities and new failure modes. This is especially true of microservice architectures and even more so for function-as- as-service approaches like AWS Lambda. We achieve simplicity in each component, but at the cost of pushing c…