Leonardo de Moura é um cientista da computação e criador do Lean, uma ferramenta de raciocínio automatizado utilizada como assistente de provas matemáticas, escrito na época em que trabalhou na Microsoft Research. Atualmente, trabalha na AWS e é Chief Architect da Lean FRO. Graduado em engenharia pela PUC-RJ, fez mestrado e doutorado em Ciência da Computação na mesma instituição.
Prêmios e Honrarias
O Prêmio CADE Skolem de 2007 pelo artigo "Eficiente E-Matching para SMT Solvers" que passou o teste do tempo, por ser um artigo mais influente no campo. O Prêmio de Verificação Assistida por Computador de 2021 pelas contribuições que mudaram o campo em relação ao seu trabalho em Z3. O prémio CADE Skolem de 2025 pelo artigo "The Lean Theorem Prover (System Description) " que passou o teste do tempo, por ser um artigo mais influente no campo. O Prêmio de Software de Línguas de Programação ACM SIGPLAN de 2025 por seu trabalho em Lean.
Referências
Categoria:Pessoas vivas Categoria:Cientistas brasileiros do século XXI