Apr 17, 2026 Talk at Perimeter Institute: Formally verified quantum information and the Generalized Quantum Stein's Lemma Oct 15, 2025 Quantum Information in L∃∀N!