Talks at the JMM

Earlier this year, I gave a series of lectures at the Joint Mathematics Meetings at San Francisco. I am uploading here the slides for these talks:

• “Machine assisted proof” (Video here)
• “Translational tilings of Euclidean space” (Video here)
• “Correlations of multiplicative functions” (Video here)

I also have written a text version of the first talk, which has been submitted to the Notices of the American Mathematical Society.