Photo from leodemoura.github.io ↗Own website · leodemoura.github.io ↗

Leonardo de Moura

Researcher · Founder

Now Chief Architect, Co-Founder, Lean FRO; Senior principal scientist, Amazon Web Services

Latest on AI4S.fyiInterview · Sep 29Once AI writes the proofs, Lean's checker becomes the thing to attack

Photos come from each person's X account, their own site, lab or team page, a conference page that lists them as a speaker in the same role, or Wikimedia Commons under the licence credited, so some may be out of date. Anyone can ask for theirs to be replaced or removed. Contact →

Affiliations

Current

Chief Architect, Co-Founder · Lean FROas of 2026-10-08lean-lang.org ↗
Senior principal scientist · Amazon Web Servicesas of 2026-09-29app.rescript.info ↗lean-lang.org ↗

Current roles come from these dated records, not from the bio below. Each links the page it was read from.

Interviews

2026-09-29Once AI writes the proofs, Lean's checker becomes the thing to attack · Machine Learning Street Talk

Something wrong or missing on this page? Tell me and it will be fixed or removed. Contact →