John Robert Matthews
Ph.D. Oregon Graduate Institute of Science & Technology 2000
Dissertation:
Algebraic Specification and Verification of Processor Microarchitectures
Mathematics Subject Classification: 68—Computer science
Advisor 1: John Launchbury
Student:
| Name | School | Year | Descendants |
|---|---|---|---|
| Huffman, Brian | Portland State University | 2012 |
According to our current on-line database, John Matthews 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 252252 for the advisor ID.