Stephen David Gilmore
Original record- Institution
- Queen's University of Belfast
- Year
- 1990
- Country
- United Kingdom
- MGP identifier
- 124848
Dissertation: Correctness-Oriented Approaches to Software Development
Advisor 1
- Maurice ClintQueen's University of Belfast · 1970
Students 10
| Name | Institution | Year | Students |
|---|---|---|---|
| Allan Derek Clark | The University of Edinburgh | 2008 | 0 |
| Jonathan J. Cook | The University of Edinburgh | 2005 | 0 |
| Zeliha Dilsun Kirli | The University of Edinburgh | 2002 | 0 |
| Sam Lindley | The University of Edinburgh | 2005 | 4 |
| Bruce McAdam | The University of Edinburgh | 2002 | 0 |
| Dimitrios Milios | The University of Edinburgh | 2014 | 0 |
| Nicholas O'Shea | The University of Edinburgh | 2010 | 0 |
| Christopher Andrew Owens | The University of Edinburgh | 1998 | 0 |
| Mirco Tribastone | The University of Edinburgh | 2010 | 3 |
| Christopher D. Walton | The University of Edinburgh | 2001 | 0 |