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
Ierusalimschy, RobertoPontifícia Universidade Católica do Rio de Janeiro1990
Nunes, IngridPontifícia Universidade Católica do Rio de Janeiro2012
Pequeno, TarcísioPontifícia Universidade Católica do Rio de Janeiro198111

According to our current on-line database, Carlos de Lucena has 4 students and 14 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.