Carlos José Pereira de Lucena

MathSciNet


Ph.D. University of California, Los Angeles 1975 UnitedStates
Dissertation: On the Synthesis of Reliable Programs
Mathematics Subject Classification: 68—Computer science

Advisor 1: Gerald Estrin

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
de Moura, LeonardoPontifícia Universidade Católica do Rio de Janeiro2000
Nunes, IngridPontifícia Universidade Católica do Rio de Janeiro2012
Pequeno, TarcísioPontifícia Universidade Católica do Rio de Janeiro19819

According to our current on-line database, Carlos de Lucena has 3 students and 11 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 156817 for the advisor ID.