Thomas Frederick Melham
Original record- Institution
- University of Cambridge
- Year
- 1990
- Country
- United Kingdom
- MGP identifier
- 87525
Dissertation: Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Michael J. C. GordonThe University of Edinburgh · 1973
Students 14
| Name | Institution | Year | Students |
|---|---|---|---|
| Sara Elizabeth Adams | Not recorded | — | 0 |
| Peter Boehm | Not recorded | — | 0 |
| Graham Collins | University of Glasgow | 2001 | 0 |
| Michael Dales | University of Glasgow | 2003 | 0 |
| Ashish Darbari | Not recorded | — | 0 |
| Ziyad Hanna | Not recorded | — | 0 |
| Sean Heelan | Not recorded | — | 0 |
| Alexander Horn | Not recorded | — | 0 |
| Lihao Liang | Not recorded | — | 0 |
| Rajdeep Mukherjee | Not recorded | — | 0 |
| Claire Quigley | University of Glasgow | 2004 | 0 |
| Edward Smith | Not recorded | — | 0 |
| Edward Smith-Müller | Not recorded | — | 0 |
| Kong Woei Susanto | University of Glasgow | 2003 | 0 |