Leonardo de Moura

Leonardo de Moura leads the development of Lean, an open-source proof assistant and programming language for machine-checked mathematics and software verification. He is Vice President and Distinguished Scientist in AWS’s Automated Reasoning Group and co-founded the Lean Focused Research Organization; earlier, he created Z3 at Microsoft Research and worked on automated reasoning at SRI International.

Cosigned byLoading...

CosignedSign in to view