Leonardo de Moura

Leonardo de Moura

home about me publications blog notes presentations

Notes

2026-03-28 » Cray Colloquium at the University of Minnesota
2026-03-15 » This website is now powered by Verso
2026-03-13 » sym => : interactive mode for scalable verification

Leonardo de Moura
Senior Principal Applied Scientist at AWS
Chief Architect and co-founder of the Lean FRO
leodemoura0@gmail.com

GitHub
Google Scholar
LinkedIn
X