
of Computer Science
I do quite a lot of what's probably best described as media work.

Some of this is related to outreach activities, some to communicating AI research to a wider audience, and some is just fun. (In the case of the Philomena Cunk interview, LOTS of fun!)
TEDx
Music expresses that which cannot be put into words --- Victor Hugo
My TEDx talk on how AI can't make proper music because it can't communicate anything to you.
Charlie Brooker's Weekly Wipe
A very serious, technical interview by the formidable Philomena Cunk.
Trinity Alumni Talk
A talk to alumni of Trinity College, at Google's headquarters in King's Cross, London.
Computerphile
Don't make predictions. It just gets you trolled. I like trolls. They're cute.
Codiax
Selling a really hard problem to a room full of start-up guys.
Cambridge Computer Science
Studying Computer Science at Cambridge is AWESOME!
CADE 28 Tutorial
-
International Conference on Automated Deduction, 2021: "Learning to Prove: Machine Learning for Better SAT and QSAT Solvers".
July 16, virtual.
Invited talks and other things...
-
Codiax, 2019: "Proving theorems: still a major test for AI".
November 21-22, Cluj-Napoca.
-
Eighth World Youth Buddhist Symposium, 2018: "Artificial Intelligence: why it is a Big Deal, and why it is not".
July 25-28, Chiang Rai, Thailand.