James Allen Alves-Foss

MathSciNet


Ph.D. University of California, Davis 1991 UnitedStates
Dissertation: Mechanical Verification of Secure Distributed Specifications
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor: Karl Norman Levitt

Student:

NameSchoolYearDescendants
Conte de Leon, DanielUniversity of Idaho20061

According to our current on-line database, James Alves-Foss has 1 student and 2 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 82535 for the advisor ID.