Leonardo A. Lessa

PhD student in theoretical physics at the Perimeter Institute and University of Waterloo. I will be joining the KITP at UC Santa Barbara as a postdoctoral researcher in September 2026.

I employ quantum information theory to study many-body quantum systems, focusing on relations between entanglement, symmetries and mixed states. For more details, see Research.

I am also part of the Physlib and QFormal initiatives. We formalize quantum information theory in the computer using Lean.