| 1965 | Mathematical Tripos Pt Ia (2nd class) |
| 1966 | Mathematical Tripos Pt Ib (2nd class) |
| 1967 | Mathematical Tripos Pt II (Senior Optime) |
| B.A. Degree | |
| 1968 | Diploma in Computer Science, with Distinction |
| Elected to College Scholarship | |
| Awarded College Prize | |
| 1968 - 1971 | Research Student in The Mathematical Laboratory |
| Later the Computer Laboratory | |
| 1971 | M.A. Degree |
| Thesis submitted for Ph.D., October 1971 | |
| Examined for Ph.D., December 1971 | |
| 1972 | Ph.D. Degree taken February 1972 |
| 1975 | Awarded the Adams Prize for 1973/74 |
The Adams Prize was awarded for a joint essay with Dr David Barton entitled Applications of algebraic manipulative systems to physics
This is the main University mathematical prize awarded every two years for a dissertation on a given subject. For this case the subject was ``Computer Science excluding hardware''.