Leonardo A. Lessa
Sobre mim
Pesquisador de pós-doutorado no Kavli Institute for Theoretical Physics (KITP), UC Santa Barbara.
Eu uso informação quântica para estudar sistemas quânticos de muitos corpos, com foco nas relações entre emaranhamento, simetrias e estados mistos. Para mais detalhes, veja Pesquisa.
Também faço parte das iniciativas Physlib e QFormal. Nós formalizamos a teoria da informação quântica no computador utilizando Lean.
