Talks

Invited Talks

« Towards Formalizing Mathematical Physics: A Top 100 Quantum Theorems Benchmark »
UCLA Computer Science
Los Angeles, CA May 26, 2026

« QED. The Quest to Formalize Physics »
IST Austria Quantum Seminar
Klosterneuburg, Austria Feb 10, 2026

« 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
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

International Congress of Mathematicians 2026 (Short Communication in Number Theory)
Philadelphia, PA July 28, 2026

Beijing-Shanghai Summer School in Mathematics, Shanghai Institute for Mathematics and Applied Sciences
« Aganagic’s Invariant for Braid Cobordisms »
Shanghai, China June 26, 2026 Bilibili

International Conference on Interactive Theorem Proving (ITP) (with J. Bayer)
« A Formal Proof of Complexity Bounds on Diophantine Equations »
Reykjavik, Iceland Oct 1, 2025 YouTube

INTRIQ Fall Meeting, Québec Quantum Information Institute
« QED. The Quest to Formally Verify Mathematics »
Bromont, Canada Nov 11, 2019

Isabelle Workshop, Federated Logic Conference
« Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle/HOL »
Oxford, UK Jul 13, 2018

Workshops Organized

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