No idea but I would put my money on "Tony", given that in the video he introduces himself by "Hello, I’m Tony Hoare".