I'm married to Judy (picture), and we have a 13 year old son called
(especially with dependent types),
logic (especially proof theory),
philosophy of mathematics (especially applied mathematics).
More on my interests, publications etc.
Ba Mathematics and Philosophy, Oxford 1972. phd, Edinburgh 2000.
Systems programmer for many years. I worked in signal processing for material testing equipment, minicomputer design, functional languages, transaction processing, and file systems.
Some sayings that appeal to me.
Staying in St. Andrews? Try my friend Kate's B'n'B. Recommended by Finnish type-theorists.