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
Joe (picture).
computer systems,
programming,
logic (especially proof theory),
philosophy (especially concerning applied mathematics),
music.
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.