Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Leonardo de Moura | Researchclopedia

Back to researchers

Leonardo de Moura

Karlsruhe Institute of Technology ORCID

97

Works

13,449

Citations

40

h-index

65

i10-index

Research Topics

Formal Methods in Verification Logic, programming, and type systems Logic, Reasoning, and Knowledge

Affiliations

Karlsruhe Institute of Technology2022–2022

Microsoft (United States)2007–2022

SRI International2003–2006

Universidade Federal do Rio Grande do Sul2011–2011

Pontifical Catholic University of Rio de Janeiro2002–2002

Top Works

Z3: An Efficient SMT Solver

Leonardo de Moura,Nikolaj Bjørner

20086,180 citations

Software Testing and Debugging Techniques

Model-Driven Software Engineering Techniques

Clone detection using abstract syntax trees

Ira D. Baxter,A. Yahin,et al.

20021,270 citations

A Fast Linear-Arithmetic Solver for DPLL(T)

Bruno Dutertre,Leonardo de Moura

2006665 citations

Satisfiability modulo theories

Leonardo de Moura,Nikolaj Bjørner

2011619 citations

The YICES SMT Solver

Bruno Dutertre,Leonardo de Moura

2006478 citations

The Lean Theorem Prover (System Description)

Leonardo de Moura,Soonho Kong,et al.

2015379 citations

Efficient E-Matching for SMT Solvers

Leonardo de Moura,Nikolaj Bjørner

2007245 citations

Solving Non-linear Arithmetic

Dejan Jovanović,Leonardo de Moura

2012222 citations

Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories

Yeting Ge,Leonardo de Moura

2009219 citations