User:Matthew Fairtlough

Research and training
My training was in pure mathematics and I specialised in logic: recursive function theory and proof theory. I studied and taught the foundations of computing for 14 years at Edinburgh and Sheffield Universities. I used to teach Mathematical Methods and Models with the Open University and I offer consultancy work in formal semantics using F# and other functional languages. With other partners, I am developing a permaculture project on 6.5 acres of land near Totnes. I am a teacher of Maths and Computer Science at South Devon College.

Specialties
Horticulture; Permaculture; Mathematics; Formal specification; programming in F#, Mathematica, Haskell and ML; software testing; teaching and training; publishing; ebooks.

Goals
One of my goals is to use my knowledge of horticulture, mathematics and systems design to develop a life in community that is rewarding, sustainable and fun. I want to use action learning to develop and apply Permaculture in my life and work and to teach Permaculture principles and ethics. I am learning how to apply Permaculture thinking to all the work I do, including IT/Mathematics research and consultancy.