Conference and workshop talks have their slides linked along the corresponding paper in the publications page. Here are some of the more informal seminar talks.
Formally Verified Incremental Cycle Detection, seminar at the Celtique team, Rennes, October 16th, 2019. [pdf]
Formalizing Asymptotic Complexity Claims via Deductive Program Verification, Inria's Juniors Seminar, Paris, February 20th, 2018. [pdf]
Verified Characteristic Formulae for CakeML, Gallium Seminar, April 18th, 2017. [pdf]
Philippa Gardner Masterclass, at Université Pierre et Marie Curie, Paris, March 28th, 2017. Outlines and motivates questions to be adressed in my PhD thesis. [pdf]