Francisco Hernandez-Quiroz
Ph.D. Imperial College London 1999
Dissertation:
A Semantics-Based Proof System for Gamma
Mathematics Subject Classification: 68—Computer science
Advisor: Christopher Leslie Hankin
Student:
| Name | School | Year | Descendants |
|---|---|---|---|
| Hernandez-Orozco, Santiago | Universidad Nacional Autónoma de México (UNAM) | 2018 |
According to our current on-line database, Francisco Hernandez-Quiroz has 1 student and 1 descendant.
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 93952 for the advisor ID.