Leonardo de Moura
From Wikipedia, the free encyclopedia
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Activités
A travaillé pour
Amazon Web Services (depuis )
Microsoft Research (-)
Microsoft Research (-
Leonardo de Moura
| Formation | |
|---|---|
| Activités |
| A travaillé pour |
Amazon Web Services (depuis ) Microsoft Research (- |
|---|---|
| Directeurs de thèse | |
| Site web |
(en) leodemoura.github.io |
| Distinction |
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.
Leonardo de Moura obtient son doctorat à l'université pontificale catholique de Rio de Janeiro en 2000. En 2006, il intègre Microsoft Research où il devient Senior Principal Researcher du groupe RiSE[1].
