John Backus (Prix Türing), Premier langage de haut niveau : FORTRAN, Grammaires
- Frederick Brooks, (Prix Turing, 1999) IBM Système 360, L'homme-mois mythique
- Edsger Dijkstra (Prix Turing, 1972), Théorie de la programmation, etc.
- Edward Feigenbaum (Prix Turing, 1994), Systèmes experts
- Danny Hillis, bio-informatique, informatique parallèle
- Alan Kay (Prix Turing, 2003), Smalltalk
- Donald Knuth (Prix Turing, 1974), La bible du programmeur, Grammaires à attributs
- Leslie Lamport, les horloges de Lamport, vérification, TLA
- Doug Lenat, Systèmes experts
- Leonid Levin, Stephen Cook (Prix Turing, 1982, Np-complétude
- John McCarthy (Prix Turing, 1971) LISP
- Michael Rabin (Prix Turing, 1976) Automates, calculabilité, cryptographie à clé publique
- Burton Smith, Architecture Dataflow
- Robert Tarjan, algorithmes de graphes
Aucun commentaire:
Enregistrer un commentaire