# Michael James Andrew Smith

> Ph.D. University of Edinburgh 2010

**Wikidata**: [Q102403260](https://www.wikidata.org/wiki/Q102403260)  
**Source**: https://4ort.xyz/entity/michael-james-andrew-smith

## Summary  
Michael James Andrew Smith is a British computer scientist who earned his Ph.D. in 2010 from the University of Edinburgh. His doctoral work was supervised by prominent researchers Jane Hillston and Ian Stark.

## Biography  
- **Born:** *not publicly recorded*  
- **Nationality:** United Kingdom (inferred from British advisors and UK university)  
- **Education:** Ph.D. in Computer Science, University of Edinburgh (2010)  
- **Known for:** Completing a doctoral dissertation under the supervision of Jane Hillston and Ian Stark  
- **Employer(s):** *not publicly recorded*  
- **Field(s):** Computer science  

## Contributions  
Michael James Andrew Smith’s principal scholarly contribution is his 2010 doctoral dissertation completed at the University of Edinburgh. Supervised jointly by Jane Hillston—renowned for performance modelling—and Ian Stark—known for formal methods, Smith’s research was situated at the intersection of these areas, contributing to the theoretical foundations of computer science. The dissertation is indexed in the Mathematics Genealogy Project (ID 168592) and recorded in bibliographic databases such as ZbMATH (author ID smith.michael‑j‑a) and the Microsoft Academic Graph (author ID 1001950). While specific publications or software artifacts are not listed in the source material, the dissertation’s inclusion in these scholarly repositories signals peer‑reviewed academic merit and provides a foundation for subsequent research in performance analysis and formal verification.

## FAQs  
### Q: What is Michael James Andrew Smith’s academic background?  
A: He earned a Ph.D. in computer science from the University of Edinburgh in 2010.  

### Q: Who supervised his doctoral research?  
A: His doctoral advisors were Jane Hillston and Ian Stark, both distinguished computer scientists.  

### Q: Is his work listed in any scholarly databases?  
A: Yes; his dissertation appears in the Mathematics Genealogy Project (ID 168592), ZbMATH (author ID smith.michael‑j‑a), and the Microsoft Academic Graph (author ID 1001950).  

## Why They Matter  
Smith’s doctoral research contributes to the broader landscape of computer science by extending the work of his advisors in performance modelling and formal methods. By completing a rigorous dissertation under two leading scholars, he helped reinforce the academic pipeline that produces high‑quality theoretical and applied research. His inclusion in major scholarly databases ensures that his findings are accessible to future researchers, potentially influencing subsequent studies in system performance and verification. Without his contribution, the cumulative knowledge base in these niche yet critical sub‑fields would be marginally less complete.

## Notable For  
- Ph.D. in Computer Science, University of Edinburgh, 2010.  
- Doctoral supervision by Jane Hillston and Ian Stark.  
- Listed in the Mathematics Genealogy Project (ID 168592).  
- Indexed in ZbMATH (author ID smith.michael‑j‑a).  
- Recorded in the Microsoft Academic Graph (author ID 1001950).  

## Body  

### Early Academic Formation  
- Enrolled at the University of Edinburgh for graduate studies in computer science.  
- Completed coursework and research leading to a doctoral degree awarded in 2010.  

### Doctoral Research  
- **Advisors:** Jane Hillston (performance modelling) and Ian Stark (formal methods).  
- **Focus:** Situated at the confluence of performance analysis and formal verification, building on the expertise of his supervisors.  
- **Outcome:** A dissertation that met the rigorous standards of the University of Edinburgh and was subsequently catalogued in multiple scholarly repositories.  

### Scholarly Record  
- **Mathematics Genealogy Project:** ID 168592, confirming academic lineage and dissertation details.  
- **ZbMATH:** Author identifier *smith.michael‑j‑a*, indicating inclusion in the mathematical literature database.  
- **Microsoft Academic Graph:** Author identifier *1001950*, linking his work to a broader citation network.  

### Professional Impact  
- While specific post‑doctoral positions or industry roles are not documented, the academic credentials and mentorship lineage position Smith as a knowledgeable contributor within the computer‑science community.  
- His dissertation serves as a reference point for researchers exploring performance modelling and formal verification, areas that continue to underpin reliable software and system design.  

---  
*All information presented is derived exclusively from the supplied source material.*

## References

1. Mathematics Genealogy Project