Scholar
Leonardo de Moura
Google Scholar ID: CwazDKgAAAAJ
Amazon Web Services
Automated Reasoning
Theorem Proving
Constraint Solving
SAT
SMT
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
26,552
H-index
50
i10-index
83
Publications
20
Co-authors
43
list available
Publications
1 items
CSLib: The Lean Computer Science Library
2026
Cited
0
Co-authors
9 total
Nikolaj Bjorner
Microsoft Research
Natarajan Shankar
SRI International Computer Science Laboratory
Clark Barrett
Stanford University
Jeremy Avigad
Professor of Philosophy and Mathematical Sciences, Carnegie Mellon University
Dejan Jovanović
Amazon Web Services
Soonho Kong
Amazon Web Services
Percy Liang
Associate Professor of Computer Science, Stanford University
Christoph M. Wintersteiger
Imandra
