Leonardo de Moura

Summary

Leonardo de Moura is a human^[1]. He worked as a computer scientist^[2] and mathematician^[3]. He ranks in the top 0.72% of human entities by monthly Wikipedia readership (5,235 views/month, #7,212 of 1,000,298).^[4]

Key Facts

• Leonardo de Moura held citizenship in United States^[5].
• Leonardo de Moura's professions included computer scientist^[2].
• Leonardo de Moura's professions included mathematician^[3].
• Leonardo de Moura was employed by Amazon Web Services^[6].
• Leonardo de Moura's education included a stint at Pontifical Catholic University of Rio de Janeiro^[7].
• Leonardo de Moura's doctoral advisor was Carlos José Pereira de Lucena^[8].
• Leonardo de Moura's doctoral advisor was Edward Hermann Haeusler^[9].
• A notable work attributed to Leonardo de Moura is Lean^[10].
• A notable work attributed to Leonardo de Moura is Z3 Theorem Prover^[11].
• A notable work attributed to Leonardo de Moura is Q140303704^[12].
• Leonardo de Moura received the Herbrand Award^[13].
• Leonardo de Moura is recorded as male^[14].
• Leonardo de Moura's instance of is recorded as human^[15].
• Leonardo de Moura's family name is recorded as de Moura^[16].
• Leonardo de Moura's given name is recorded as Leonardo^[17].
• Leonardo de Moura's official website is recorded as http://leodemoura.github.io/^[18].
• Leonardo de Moura's languages spoken, written or signed is recorded as English^[19].
• Leonardo de Moura's maintained by WikiProject is recorded as WikiProject Mathematics^[20].
• Leonardo de Moura's significant place is recorded as Redmond^[21].

Body

Education

Leonardo de Moura was educated at Pontifical Catholic University of Rio de Janeiro^[7]. Doctoral advisors include Carlos José Pereira de Lucena^[8], a researcher^[22], b. 1943^[23], of Brazil^[24], awarded the Guggenheim Fellowship^[25] and Edward Hermann Haeusler^[9].

Career and Affiliations

Recorded occupations include computer scientist^[2] and mathematician^[3]. Leonardo de Moura was employed by Amazon Web Services^[6].

Works and Contributions

Notable works include Lean^[10], an open-source software^[26], founded in 2013^[27]; Z3 Theorem Prover^[11], a free software^[28]; and Q140303704^[12].

Recognition

Leonardo de Moura received the Herbrand Award^[13].

Why It Matters

Leonardo de Moura ranks in the top 0.72% of human entities by monthly Wikipedia readership (5,235 views/month, #7,212 of 1,000,298).^[4]

FAQs

What did Leonardo de Moura do for work?

Leonardo de Moura worked as computer scientist^[2] and mathematician^[3].

Where did Leonardo de Moura go to school?

Leonardo de Moura was educated at Pontifical Catholic University of Rio de Janeiro^[7].

What awards did Leonardo de Moura receive?

Honors received include Herbrand Award^[13].