Simon Colton


Ph.D. The University of Edinburgh 2000 UnitedKingdom
Dissertation: Automated Theory Formation in Pure Mathematics
Mathematics Subject Classification: 68—Computer science

Advisor: Alan Richard Bundy

Click here to see the students listed in chronological order.

Charnley, JohnImperial College London2010
Cook, MichaelImperial College London20151
Pease, AlisonThe University of Edinburgh2007
Ramezani, RaminImperial College London2014

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.