gordon led the development of the hol theorem prover. he was elected a fellow of the royal society in 1994, and in 2008 a two-day research meeting on "tools and techniques for verification of system infrastructure" was held there in honour of his 60th birthday.