Thomas Frederick Melham
Ph.D. University of Cambridge 1990
Dissertation:
Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
Mathematics Subject Classification: 68—Computer science
Advisor: Michael J. C. Gordon
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Collins, Graham | University of Glasgow | 2001 | |
| Dales, Michael | University of Glasgow | 2003 | |
| Susanto, Kong | University of Glasgow | 2003 | |
| Quigley, Claire | University of Glasgow | 2004 | |
| Darbari, Ashish | University of Oxford | 2006 | |
| Smith, Edward | University of Oxford | 2008 | |
| Smith-Müller, Edward | University of Oxford | 2008 | |
| Boehm, Peter | University of Oxford | 2011 | |
| Hanna, Ziyad | University of Oxford | 2011 | |
| Adams, Sara | University of Oxford | 2014 | |
| Horn, Alexander | University of Oxford | 2016 | |
| Liang, Lihao | University of Oxford | 2018 | |
| Mukherjee, Rajdeep | University of Oxford | 2018 | |
| Heelan, Sean | University of Oxford | 2020 |
According to our current on-line database, Thomas Melham has 14 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 87525 for the advisor ID.