Leonardo De Moura
Login to view DISC.Leonardo is a Senior Principal Applied Scientist in the Automated Reasoning Group at AWS, with a PhD from Pontifícia Universidade Católica do Rio de Janeiro. He previously spent over 16 years as a Senior Principal Researcher at Microsoft Research, establishing himself as an expert in formal methods.
Outside of his corporate role, Leonardo dedicates his time to the Lean FRO, a non-profit organization he co-founded. He serves as its Chief Architect and a board member, passionately supporting the open-source ecosystem he helped create.
He is the original creator of the Lean Theorem Prover, a widely recognized tool used in mathematics and computer science.
Read the full overview →How Leonardo shows up
Behavioral traits and communication patterns that shape how this person evaluates opportunities, builds trust, and makes decisions in professional settings.
Topics Leonardo cares about
Work history
Media appearances
DISC profile (public)
DISC behavioral profile
Dominance, influence, steadiness, and calculativeness scores with guidance on how this person prefers to communicate and decide.
Other Amazon Web Services (AWS) Employees
Explore more public profiles from related professionals.
More profiles
Discover additional public profiles from our index.
Search more profiles
Looking for someone else? Search here for anyone.