- Mathématicien.
- Optique, calcul infinitésimal, théorie du chaos.
- Mathématicien.
- Théorie des invariants.
- Géométrie axiomatique.
- A énoncé 23 problèmes en 1900.
- Mathématicien (logicien).
- Créateur du lambda-calcul.
- Mathématicien.
- Cryptographie.
- Créateur de la machine de Turing.
- Travaille sur les bases de données (pionnier du SQL).
- Professeur au MIT.
- Prix Turing 2014.
- Créateur de PostreSQL.