Leonardo de Moura
E46384
Leonardo de Moura is a Brazilian computer scientist best known for creating the Z3 theorem prover and contributing significantly to automated reasoning and formal verification.
Statements (30)
| Predicate | Object |
|---|---|
| instanceOf |
computer scientist
ⓘ
person ⓘ researcher ⓘ |
| affiliation | Microsoft ⓘ |
| citizenship | Brazil ⓘ |
| coAuthorOf |
papers on SMT solvers
ⓘ
papers on Z3 ⓘ papers on automated reasoning ⓘ papers on formal methods ⓘ |
| contributedTo |
Satisfiability Modulo Theories (SMT)
ⓘ
decision procedures for logical theories ⓘ formal methods in software verification ⓘ |
| developed |
Z3 SMT solver
ⓘ
surface form:
Z3 theorem prover
|
| employer |
Microsoft Research Cambridge
ⓘ
surface form:
Microsoft Research
|
| fieldOfWork |
automated reasoning
ⓘ
computer science ⓘ formal verification ⓘ theorem proving ⓘ |
| knownFor |
Z3 SMT solver
ⓘ
surface form:
Z3 theorem prover
automated reasoning ⓘ formal verification ⓘ |
| language |
English
ⓘ
Portuguese ⓘ |
| nationality | Brazilian ⓘ |
| notableWork | Z3: An Efficient SMT Solver ⓘ |
| researchInterest |
SMT solving
ⓘ
automated theorem proving ⓘ decision procedures ⓘ formal verification of software ⓘ |
| workLocation |
Redmond, Washington, United States
ⓘ
surface form:
Redmond
|
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.