Talks

Invited Talks

« 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

« 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

International Congress of Mathematicians 2026, Short Communication in Number Theory
Philadelphia, PA, USA (forthcoming)

Conference on Interactive Theorem Proving 2025 (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
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