Simon Colton
Ph.D. The University of Edinburgh 2000
Dissertation:
Automated Theory Formation in Pure Mathematics
Mathematics Subject Classification: 68—Computer science
Advisor: Alan Richard Bundy
Students:
Click
here to see the students listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Charnley, John | Imperial College London | 2010 | |
| Cook, Michael | Imperial College London | 2015 | 1 |
| Pease, Alison | The University of Edinburgh | 2007 | |
| Ramezani, Ramin | Imperial College London | 2014 |
According to our current on-line database, Simon Colton has 4 students and 5 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 102670 for the advisor ID.