Leonardo de Moura
American computer scientist, known for Lean and Z3
About Leonardo de Moura
Leonardo de Moura was an American computer scientist and mathematician.
Leonardo de Moura is a Brazilian computer scientist, and creator of the Z3 Theorem Prover and the Lean proof assistant during his time at Microsoft Research. He currently works at AWS and is the Chief Architect at the Lean FRO.
Awards and honors The 2007 CADE Skolem Award for the paper "Efficient E-Matching for SMT Solvers". The 2021 Computer Aided Verification Award for his contributions regarding his work on Z3. The 2025 CADE Skolem Award for the paper "The Lean Theorem Prover (System Description)".
Don’t just read it —
keep it.
Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.
- E-book
- Audio
- Video
Instant download · yours to keep · every purchase keeps this site free
Important facts
Related people
Same field, nearest in time
Frequently asked questions
Who was Leonardo de Moura?
American computer scientist, known for Lean and Z3
What was Leonardo de Moura's occupation?
Leonardo de Moura was a computer scientist and mathematician.
What nationality was Leonardo de Moura?
Leonardo de Moura was American.
Sources & further reading
· Wikipedia: Leonardo de Moura
Cite this page
APA: Biography.guide. (2026). Leonardo de Moura. https://biography.guide/leonardo-de-moura/
MLA: "Leonardo de Moura." Biography.guide, https://biography.guide/leonardo-de-moura/.
Chicago: "Leonardo de Moura." Biography.guide. https://biography.guide/leonardo-de-moura/.
Data last updated: 2026-09-22 · Spot an error? Report a correction.
Portrait: Wikimedia Commons · author & licence
Page generated 2026-09-27 05:04 UTC