Leonardo Mendonça de Moura est un informaticien brésilien, chercheur chez Microsoft Research et l'auteur des assistants de preuve et Lean.
Formation et carrière 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 du groupe RiSE.
Prix et distinctions Il est lauréat avec Nikolaj Bjørner du prix Herbrand en 2019 « pour ses nombreuses et importantes contributions à la résolution de problèmes SMT, dont sa théorie, son implémentation et son application à une large gamme de besoins universitaires et industriels ». Auparavant il a reçu en 2010 le . En 2014, son article Z3: An Efficient SMT Solver (TACAS conference) reçoit le prix du . Son logiciel assistant de preuve reçoit en 2015 le . En 2017 il est lauréat avec Nikolaj Bjørner du prix Skolem pour son article « Efficient E-Matching for SMT Solvers » qui a résisté à l'épreuve du temps, en étant un des articles les plus influents dans le domaine. En 2018, son article « Z3: An Efficient SMT Solver » (ETAPS conference) reçoit le .
Références
Liens externes
Catégorie:Informaticien brésilien Catégorie:Étudiant de l'université pontificale catholique de Rio de Janeiro Catégorie:Personnalité de Microsoft Catégorie:Personnalité brésilienne de l'informatique