Edward A. Ashcroft
Original record- Institution
- University of London
- Year
- 1970
- Country
- United Kingdom
- MGP identifier
- 24596
Dissertation: Mathematical Logic Applied to the Semantics of Computer Programs
Mathematics Subject Classification: 68—Computer science
Advisor 1
- John Joseph FlorentinImperial College Lon
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Bui Ngoc Duong | University of Waterloo | 1976 | 0 |
| Mansour Farah | University of Waterloo | 1977 | 0 |
| Janice I. Glasgow | University of Waterloo | 1983 | 1 |
| Thorn G. Green | Arizona State University | 1999 | 0 |
| Matthew C. B. Hennessy | University of Waterloo | 1977 | 15 |
| Rangaswamy Jagannathan | University of Waterloo | 1988 | 0 |
| Luigi Logrippo | University of Waterloo | 1974 | 8 |