Julian Charles Bradfield
Original record- Institution
- The University of Edinburgh
- Year
- 1991
- Country
- United Kingdom
- MGP identifier
- 116070
Dissertation: Verifying Temporal Properties of Systems
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Colin P. StirlingUniversity of York · 1982
Students 6
| Name | Institution | Year | Students |
|---|---|---|---|
| Sibylle Fröschle | The University of Edinburgh | 2002 | 0 |
| Vashti Galpin | The University of Edinburgh | 1998 | 0 |
| Nargess Ghahremani-Azghandi | The University of Edinburgh | 2014 | 0 |
| Julian Gutierrez | The University of Edinburgh | 2011 | 2 |
| Jane Hillston | The University of Edinburgh | 1994 | 10 |
| Karoliina Lehtinen | The University of Edinburgh | 2017 | 0 |