Leonardo de Moura

person

American computer scientist, known for Lean and Z3

History Claim
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.
Leonardo de Moura
Image: Wikimedia Commons

Handles

Social

Web

4 external identifiers

Something wrong with this entry? Report it.