Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Jean Henri Gallier

Original record
Institution
University of California, Los Angeles
Year
1978
Country
United States
MGP identifier
78759

Dissertation: Semantics and Correctness of Classes of Deterministic and Nondeterministic Recursive Programs

Advisors 2

Students 12

NameInstitutionYearStudents
Hassan Aït KaciUniversity of Pennsylvania19840
Jin ChoiUniversity of Pennsylvania19930
William DowlingUniversity of Pennsylvania19840
Tomas IsakowitzUniversity of Pennsylvania19890
Fahimeh JaliliUniversity of Pennsylvania19820
Thomas J. MyersUniversity of Pennsylvania19800
Majid NainiUniversity of Pennsylvania19850
Stan RaatzUniversity of Pennsylvania19870
Karl SchimpfUniversity of Pennsylvania19821
Marcelo SiqueiraUniversity of Pennsylvania20060
Wayne SnyderUniversity of Pennsylvania19881
Dianna XuUniversity of Pennsylvania20020
Genealogy