Junto con Edmund Clarke y Joseph Sifakis, fue el ganador de 2007 del Premio Turing de la "Association for Computing Machinery".