Talks

Invited Talks

Formal reasoning with a computer assistant: A quantitative solution to Hilbert’s Tenth Problem
Perimeter Institute Quantum Foundations Seminar
Waterloo, Canada Oct 14, 2025 PIRSA:25100157

Symplectic Learning for Hamiltonian Neural Networks
Perimeter Institute Machine Learning Initiative
Waterloo, Canada Oct 10, 2025 coming soon!

Symplectic Learning for Hamiltonian Neural Networks
UC Berkeley Nonlinear Algebra Seminar
Berkeley, CA Dec 12, 2024

How Hilbert met Isabelle: Proof Between Generations
Cambridge Seminar on Formalisation of Mathematics
Cambridge, UK Jan 26, 2023

QED. The Quest to Formalize Mathematics
Uppsala University Theoretical Physics Seminar
Uppsala, Sweden May 8, 2022

Conference Talks

ITP 2025: A Formal Proof of Complexity Bounds on Diophantine Equations (joint with J. Bayer)
Reykjavik, Iceland Oct 1, 2025 YouTube

INTRIQ Fall Meeting, Québec Quantum Information Institute
Bromont, Canada Nov 11, 2019

Isabelle Workshop, Federated Logic Conference
Oxford, UK Jul 13, 2018

Workshops Organized

Proof Between Generations, 6th Heidelberg Laureate Forum
Heidelberg, Germany Sep 22-25, 2018