Maintaining a Large Formalisation Project part 1 and part 2, workshop on formalisation and group theory, Tsinghua University, Beijing, March 16th-20th, 2026.

Machine Verified Reasoning, Predictive Modelling Discussion Group, Warwick Engineering, February 12th, 2026.

An introduction to linters, Lean Together 2025, video, January 15th, 2025.

Mathematics, automation, theorem proving, Colloquio at Università di Pisa, December 13th, 2023.

Lines of polynomials with Galois group \(\mathfrak{A}_n\), a talk in the GANT seminar, November 29th, 2021.

\(\overline{M}_{0,134}\) is not a Mori Dream Space, an expository talk on a result of Castravet-Tevelev, Warwick \(\overline{M}_{0,n}\) seminar, November 22nd, 2021.

Mathematical insights from using Lean, a talk at the online workshop Lean Together 2021 (recording of the talk), January 7th, 2021.

Computers and mathematics, Warwick Maths Society, December 8th, 2020.

Using computers to do maths for us!, Tour of Mathematics 2020-21, Warwick.

Contact in algebraic and tropical geometry, in Versailles, March 31, 2020.