Also known.as: Jim Kingdon. Interested in: formal mathematics, software development, dance (especially country-western and #MorrisDancing, but many kinds), plan