Citez quatre Prix Turing et ce pour quoi ils ont eu le prix

C'était une des questions du DS (et comme toutes les questions, traitée et ANNONCEE à l'avance !).
Je n'ai eu guère de réponses à lire.

Je trouve par exemple :
- Dijkstra -> théorème
- Houre (sic) -> théorème
- Codd -> Modèle conceptuel
- Sirfakis (sic) -> programme

Etonnant, non ? aurait dit Pierre Desproges (de Châlus) dont nous vous conseillons le site officiel (méfiez vous des contrefaçons !) et lisez les Bons conseils du professeur Canevet en bas de la page d'accueil.