User Portlet

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 taught Mathematical Methods and Models (MST209) and Pure Mathematics (M208) with the Open University and I am developing a permaculture project on 11.5 acres of land near our home in Devon.

I'm a certified Wolfram trainer and an external Wolfram consultant via my new company Fairflow Systems Design. My latest job involved developing software to teach 2nd year Portsmouth University undergraduates basic concepts of graph theory (MST algorithms, max flow/min cut algorithms).

I have a new job teaching A level mathematics at South Devon College in South England and I'm developing some CDF resources for teaching, both at A level and degree level.

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