I am willing to do any kind of paid work of which I am capable, especially if I can do it from, or near to Edinburgh. Academic CV: pdf, ps. Non-academic CV: pdf, ps.
I'm married to Judy (picture), and we have a 16 year old son called
logic (especially proof theory),
philosophy (especially concerning applied mathematics),
Writings, publications etc.
Ba Mathematics and Philosophy, Oxford 1972.
Phd Computer Science, Edinburgh 2000.
Experienced systems programmer. I have worked in signal processing (control of equipment for testing metals), minicomputer design (a database machine, using bit-slice technology), functional languages (Orwell, a predecessor of Haskell), transaction processing (support for 2-phase commit in OpenVms), and journalling file systems (Spiralog in OpenVmS).
Some people whose ideas, work, and/or craziness interest/s me.
Some sayings that appeal to me.
Visiting St. Andrews? Try my friend Kate's B'n'B.