Rodolfo R. Soldati

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.