[Davidp00]

There were a few videos on numberphile with him. Here is a playlist:

https://www.youtube.com/playlist?list=PLt5AfwLFPxWIL8XA1npoN... (5 videos totalling about 40 minutes)

[vostok]

I like that he's wearing an ARML shirt in at least two of those videos.