Leonardo A. Lessa

Postdoctoral Scholar at the Kavli Institute for Theoretical Physics (KITP), UC Santa Barbara.

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.