a person in the record
Leonardo de Moura
American computer scientist, known for Lean and Z3
Wikidata names Carlos José Pereira de Lucena and Edward Hermann Haeusler as doctoral advisors. Linked to Wikidata.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors on Wikidata2
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
- stated by Wikidata
The line above and below4 steps
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
stated by WikidataCarlos José Pereira de Lucenastated by WikidataEdward Hermann Haeusler
- 2 steps up
stated by WikidataGerald Estrinstated by WikidataLuiz Carlos Pinheiro Dias Pereirastated by WikidataTarcísio Haroldo Cavalcante Pequeno
- 3 steps up
stated by WikidataDag Prawitzstated by WikidataVincent C. Rideout
- 4 steps up
stated by WikidataAnders Wedberg
Education and career3
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- 2006 to 2023worked
- from 2023worked
- undated