Mathematics Colloquium: Allan Sly (Microsoft)