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 (89 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 VIAF cluster ID is recorded as 307438739^[15].
• Leonardo de Moura's Library of Congress authority ID is recorded as nb2013021148^[16].
• Leonardo de Moura's ORCID iD is recorded as 0000-0002-5158-4726^[17].
• Leonardo de Moura's Mathematics Genealogy Project ID is recorded as 156818^[18].
• Leonardo de Moura's family name is recorded as de Moura^[19].
• Leonardo de Moura's given name is recorded as Leonardo^[20].
• Leonardo de Moura's official website is recorded as http://leodemoura.github.io/^[21].
• Leonardo de Moura's ACM Digital Library author ID is recorded as 81100133101^[22].
• Leonardo de Moura's ResearcherID is recorded as B-8103-2015^[23].
• Leonardo de Moura's Scopus author ID is recorded as 23396587300^[24].
• Leonardo de Moura's languages spoken, written or signed is recorded as English^[25].
• Leonardo de Moura's zbMATH author ID is recorded as de-moura.leonardo^[26].
• Leonardo de Moura's Google Scholar author ID is recorded as CwazDKgAAAAJ^[27].

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^[28], b. 1943^[29], of Brazil^[30], awarded the Guggenheim Fellowship^[31] 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^[32], founded in 2013^[33] and Z3 Theorem Prover^[11], a free software^[34].

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 (89 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].