Scholar

Leonardo de Moura

Google Scholar ID: CwazDKgAAAAJ

Amazon Web Services

Automated ReasoningTheorem ProvingConstraint SolvingSATSMT

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

26,552

H-index

50

i10-index

83

Publications

20

Co-authors

43

list available

Contact

No contact links provided.

Publications

1 items

CSLib: The Lean Computer Science Library

2026

Cited

0

Resume (English only)

Co-authors

43 total

Nikolaj Bjorner

Microsoft Research

Stanford University

Professor of Philosophy and Mathematical Sciences, Carnegie Mellon University