Leonardo de Moura

URI: https://gptkb.org/entity/Leonardo_de_Moura
GPTKB entity
Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:computer_scientist
gptkbp:almaMater gptkb:Pontifical_Catholic_University_of_Rio_de_Janeiro
gptkbp:award gptkb:ACM_Fellow
gptkb:Herbrand_Award
gptkbp:birthPlace gptkb:Brazil
gptkbp:doctoralAdvisor gptkb:Edward_Hermann_Haeusler
gptkbp:employer gptkb:Microsoft_Research
gptkbp:field formal methods
automated reasoning
theorem proving
https://www.w3.org/2000/01/rdf-schema#label Leonardo de Moura
gptkbp:knownFor gptkb:Lean_Theorem_Prover
gptkb:Z3_Theorem_Prover
gptkbp:nationality gptkb:Brazilian
gptkbp:occupation gptkb:computer_scientist
gptkbp:bfsParent gptkb:Lean_4
gptkbp:bfsLayer 6