En 1989 obtuvo el premio Alan Turing por incorporar un algoritmo para reducir al mínimo el error introducido cuando una adición de una secuencia y en la coma flotante de la precisión finita numérica (el IEEE 754 Standard for Binary Floating-Point Arithmetic).