Leonardo de Moura

Biographie
Formation	Université pontificale catholique de Rio de Janeiro
Activités	Informaticien, mathématicien
A travaillé pour	Amazon Web Services (depuis 2023); Microsoft Research (2006-2023)
Directeurs de thèse	Carlos José Pereira de Lucena (en), Edward Hermann Haeusler (d)
Site web	(en) leodemoura.github.io
Distinction	Prix Herbrand (2019)
	Lean, Z3 Theorem Prover (d)

Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Leonardo Mendonça de Moura est un informaticien brésilien, chercheur chez Microsoft Research et l'auteur des assistants de preuve Z3 (en) et Lean.

A travaillé pour	Amazon Web Services (depuis 2023) Microsoft Research (2006-2023)
Directeurs de thèse	Carlos José Pereira de Lucena (en), Edward Hermann Haeusler (d)
Site web	(en) leodemoura.github.io
Distinction	Prix Herbrand (2019)