Leonardo de Moura (Preferred)
Leonardo de Moura
Pronouns: he/him
Principal Researcher, Automated Reasoning, Amazon
- Joined September 2024
Names
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