En 2004 ganó la Medalla John von Neumann por ""su fundamental contribución a los lenguajes de programación, metodologías de programación y sistemas distribuidos"".