Leonardo de Moura

Leonardo de Moura
Scientific career
FieldsComputer science
InstitutionsAWS, Microsoft Research

Leonardo de Moura is a 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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.