I 1998 mottok han Rosingakademiets hederspris sammen med Ole-Johan Dahl. I 2001 ble de to også tildelt den prestisjetunge Turing-prisen fra Association for Computing Machinery (ACM). Turing-prisen blir ofte uformelt betegnet som informatikkfagets Nobel-pris. Året etter, i 2002, fikk de to også John von Neumann-medaljen.