Title:  Euler the Mathemagician
Speaker: Imogen Morris
Abstract:

As practice for the 3 minute thesis competition, I will give a description of my thesis in terms accessible to ordinary people, with one slide and aiming for 3 minutes. I will motivate my work on formalising some of Euler’s proofs and give a description of infinitely-small and infinitely-large numbers as well as explaining some of the process of formalisation.