| Année | Événement |
|---|---|
| 1968 | devient membre de la faculté de l'université Stanford |
| 1971 | premier à recevoir le prix Grace Murray Hopper de l'Association for Computing Machinery |
| 1992 | élu membre associé de l'Académie des sciences française |
| 2003 | élu membre de la Royal Society |