James Allen Alves-Foss
Ph.D. University of California, Davis 1991
Dissertation:
Mechanical Verification of Secure Distributed Specifications
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor: Karl Norman Levitt
Student:
| Name | School | Year | Descendants |
|---|---|---|---|
| Conte de Leon, Daniel | University of Idaho | 2006 | 1 |
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.