 Gordon earned a Ph.D. from the University of Cambridge in 1992.Until 1997 Gordon was a Research Fellow at the University of Cambridge Computer Laboratory.He then joined the Microsoft Research laboratory in Cambridge, England, where he is a principal researcher in the Programming Principles and Tools group.