I was quoted briefly in Mathematicians think like machines for perfect proofs, New Scientist, by Jacob Aron, June 26, 2013.  (Actually, my quote there is a little out of context, as my remark there was referring only to research in set theory, where anyone would view the switch to another foundation as a distraction.)