Leonardo de Moura
Computer scientist
Leonardo de Moura
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.
Read on Wikipedia · Image David.Monniaux, CC BY-SA 4.0
Open boosters, collect cards and trade them. Free to play.
Play for free