Leonardo A. Lessa
Sobre mim
Estudante de doutorado em física teórica no Perimeter Institute e na Universidade de Waterloo.
Eu uso ferramentas de 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 da iniciativa QFormal. Nós formalizamos a teoria da informação quântica no computador utilizando Lean.
