Rodolfo R. Soldati
Base Space
At PI's Physics of Quantum Information II conference. 2026.
Olá!—I am a Postdoctoral Fellow at the Institute for Quantum Computing, University of Waterloo. I am interested in understanding physics from a quantum information perspective, so I employ it to understand thermality, quantum fields, and spacetime.
I work with the Barrio-RQI group at IQC and PI, and I’m a maintainer of Physlib, the Lean prover community physics library downstream of Mathlib, and a member of QFormal, where we aim to formalize quantum information theory in Lean 4!
See my latest preprints in the publications page or on arXiv.