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 (187 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].
• Leonardo de Moura received the Herbrand Award^[12].
• Leonardo de Moura is recorded as male^[13].
• Leonardo de Moura's instance of is recorded as human^[14].
• Leonardo de Moura's family name is recorded as de Moura^[15].
• Leonardo de Moura's given name is recorded as Leonardo^[16].
• Leonardo de Moura's official website is recorded as http://leodemoura.github.io/^[17].
• Leonardo de Moura's languages spoken, written or signed is recorded as English^[18].
• Leonardo de Moura's maintained by WikiProject is recorded as WikiProject Mathematics^[19].
• Leonardo de Moura's significant place is recorded as Redmond^[20].

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^[21], b. 1943^[22], of Brazil^[23], awarded the Guggenheim Fellowship^[24] 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^[25], founded in 2013^[26] and Z3 Theorem Prover^[11], a free software^[27].

Recognition

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

Why It Matters

Leonardo de Moura ranks in the top 0.72% of human entities by monthly Wikipedia readership (187 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^[12].