Simon Colton
Original record- Institution
- The University of Edinburgh
- Year
- 2000
- Country
- United Kingdom
- MGP identifier
- 102670
Dissertation: Automated Theory Formation in Pure Mathematics
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Alan Richard BundyUniversity of Leicester · 1971
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| John William Charnley | Imperial College London | 2010 | 0 |
| Michael Cook | Imperial College London | 2015 | 1 |
| Alison Pease | The University of Edinburgh | 2007 | 0 |
| Ramin Ramezani | Imperial College London | 2014 | 0 |