-
Leiden Declaration of AI and Mathematics
-
Talk at Perimeter Institute: Formally verified quantum information and the Generalized Quantum Stein's Lemma
-
Quantum Information in \(\mathsf{L∃∀N}\)!
-
Dedicated to the memory of Ray Laflamme: responsible innovation in quantum technologies
-
QBronze148: O primeiro evento do QBrasil