Abdulle Lecture - Interactive theorem provers : can they help mathematicians ? - Prof. Kevin Buzzard

The Assyr Abdulle Lecture is a public lecture given periodically by a visitor of the Bernoulli Center for Fundamental Studies. Prof. Assyr Abdulle was a faculty member at the Mathematics Institute at EPFL from 2009 until 2021. He was a world-renowned expert in the field of numerical methods for stochastic differential equations and multiscale problems. He was a passionate researcher engaged in promoting mathematics at EPFL. He was in particular engaged in the development of the Youth at Bernoulli program. This public lecture celebrates his memory.