Summary
Matthew Fairtlough is a director and systems designer with a strong foundation in pure mathematics and 10+ years of professional experience applying formal logic, functional-first programming (F#, Haskell, ML) and Mathematica to real-world software problems. He founded Fairflow Systems Design to deliver high-level, verifiable computer systems and teaches Wolfram technologies as a certified Mathematica trainer, combining rapid prototyping with executable formal specifications. A former university lecturer in theoretical computer science and mathematical foundations, he brings deep expertise in programming language semantics, formal specification and software testing to training and consultancy. Away from code, he runs a permaculture farm on 6.5 acres near Totnes and is studying applied permaculture design, applying systems thinking and mathematical modelling to sustainable land use — a practical crossover between his academic roots and ecological practice.
10 years of coding experience
10 years of employment as a software developer
BSc, Mathematics and Computer Science, Hons (Class I), BSc, Mathematics and Computer Science, Hons (Class I) at University of Leeds
French, German, Spanish