Leonardo de Moura
American computer scientist, known for Lean and Z3
Leonardo de Moura is a Brazilian computer scientist, creator of the Lean proof assistant and co-creator of the Z3 Theorem Prover during his time at Microsoft Research. He currently works at AWS and is the Chief Architect at the Lean Focused Research Organization. De Moura obtained his Ph.D. in computer science at the Pontifical Catholic University of Rio de Janeiro in 2000.
Leonardo de Moura’s social media accounts
Social
X (Twitter): @leodemoura
LinkedIn: @leonardo-de-moura-26a27b5
Facebook: @leonardo.de.moura
GitHub: @leodemoura
Research Gate: @Leonardo_De_Moura
Google Scholar: CwazDKgAAAAJ
Web
4 external identifiers
Something wrong with this entry? Report it · How corrections work
Last updated · Handles last checked · How we check