En 1985 recibió un en Ciencias de la Computación de la Universidad de Cambridge y se incorporó a como ingeniero de software/IA; en 1986 cofundó Man-Made Minions Ltd con el propósito de desarrollar un verificador formal automatizado de programas.