A few years ago, one of the mailing lists advertised a foundations talk he was to give at the Harvard math department. I flew out to Boston and snuck in, figuring the Harvard people would assume I was MIT and conversely. I was found-out, though, as people were filing out after his talk; of course everyone knows everyone else.
I knew his work from my days as a geometer. It was the sort of thing you see in grad school and it impresses its beauty upon you forever. I came out because I'd heard this and that about HoTT and it seemed like a good opportunity to peek into that world. He seemed surprised that someone not in-the-know would make the trip. We talked for a bit. He was generous with his time in a way that struck me as incredibly humble. To the extent that mathematicians have fans, he was good to his.