Leonardo A. Lessa
Sobre mim
Estudante de doutorado em física teórica no Perimeter Institute e na Universidade de Waterloo. Vou me juntar ao KITP na UC Santa Barbara como pesquisador em setembro de 2026.
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.
