Leonardo de Moura

Principal Researcher, Automated Reasoning, Amazon
Joined
September 2024

Names

Leonardo de Moura (Preferred)

Emails

****@gmail.com (Confirmed)
, 
****@amazon.com (Confirmed)

Personal Links

Career & Education History

Principal Researcher
Automated Reasoning, Amazon (amazon.com)
2023 – Present
Principal Researcher
RiSE, Research, Microsoft (research.microsoft.com)
2006 – 2023
Researcher
CS, SRI International (sri.com)
2001 – 2006

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

No publications

Co-Authors

No co-authors