Liste d'informaticiens et précurseurs de l'informatique - Définition
Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.
La liste des auteurs de cet article est disponible ici.
Introduction
Cette liste regroupe des informaticiens (concepteur, développeur, chercheur en informatique) ainsi que des mathématiciens ou théoriciens dont les travaux ont établi, avant l'invention des ordinateurs, les bases de l'informatique moderne (travaux sur l'algorithmique, la théorie de l'information ou la théorie de la complexité par exemple).
| Sommaire : | - |
|---|
A
- Jean-Raymond Abrial (langages de spécification Z et B)
- Ada Lovelace (description de la machine analytique)
- Alfred Aho (logiciel awk, Dragon book)
- Howard Aiken (Harvard Mark I)
- Al-Khawarizmi, ayant donné son nom aux algorithmes
- Gene Amdahl (IBM, créateur des architectures universelles 360 et 370)
- Marc Andreessen (Netscape)
- Jacques Arsac informaticien français, membre de l'Académie des Sciences, créateur du langage de description algorithmique EXEL
- John Vincent Atanasoff (Concepteur du premier ordinateur)
- Bill Atkinson (Apple)
C
- Bob Carr (Framework)
- John Carmack (3D, Quake, Doom)
- Vinton G. Cerf (Internet)
- Noam Chomsky (classification des grammaires)
- Alonzo Church (lambda-calcul)
- David Clark (Internet)
- Edgar F. Codd (Théorie des bases de données, Formes normales)
- Alain Colmerauer (Langage Prolog)
- Thierry Coquand (calcul des constructions, système coq)
- Thomas Cormen (co-auteur du livre Introduction à l'Algorithmique)
- Frédéric Couchet (April, défenseur du Logiciel libre)
- Alan Cox (Noyau Linux)
- Seymour Cray (Superordinateurs)
- Haskell Curry (Logique et théorie des systèmes formels)
B
- Charles Babbage (machine à calculer mécanique)
- John Backus (Fortran)
- Alexandre Graham Bell (Téléphone)
- Fabrice Bellard (calcul de Pi, émulateur QEMU)
- Tim Berners-Lee (WWW)
- Pierre Bézier (CAO)
- Corrado Böhm (spécialiste de Lambda-calcul, créateur de l'informatique théorique italienne)
- George Boole (Algèbre de Boole)
- Dan Bricklin (VisiCalc)
- Frederick Philip Brooks (IBM 360, le Mythe du mois-homme)
- Fredrik Rosing Bull (machines à satistiques)
- Vannevar Bush (hypertexte)
- Nolan Bushnell (Pong, Atari)
- Gilbert Bitsch Inventeur du Lettrage conversationnel , qui a mis fin aux ateliers de machines comptables dans les grandes entreprises et qui a ouvert la comptabilité à l'informatique.
E
- Douglas Engelbart (souris, interface graphique)
- Philip Estridge (concepteur de l'IBM PC)
D
- Ole-Johan Dahl, co-créateur du langage Simula et de la programmation orientée objet
- Paul de Faget de Casteljau (CAO)
- Jean-Paul Delahaye, Chercheur vulgarisateur
- Edsger Dijkstra (créateur du concept de sémaphore et incisif promoteur de la programmation structurée, néerlandais)
- Dave Null, personnage fictif
G
- Bill Gates (Microsoft)
- Erol Gelenbe (modélisation mathématique des systèmes informatiques)
- François Gernelle (inventeur du premier micro-ordinateur, le Micral)
- Charles Goldfarb, (IBM, inventeur du langage de marquage universel SGML qui donnera naissance à HTML et à XML)
- James Gosling (Java)
- Henri Gouraud (inventeur de l'algorithme de lissage des ombrages qui porte son nom)
- Frank Gray (inventeur du code Gray)
- Jim Gray (lauréat du prix Turing en 1998)
F
- Edward Feigenbaum, intelligence artificielle
- Jay Forrester (Whirlwind)
I
- Kenneth Iverson (APL)
H
- Richard Hamming (Code de Hamming)
- Michael Hawley (SoundDroid)
- Anders Hejlsberg (Créateur du Turbo Pascal, de Delphi puis du langage C#)
- Charles Antony Richard Hoare (quicksort, logique de Hoare)
- Herman Hollerith (IBM)
- Grace Hopper (COBOL et premier compilateur)
- Christian Huitema (Internet)
- Gérard Huet (langages fonctionnels, académie des Sciences, INRIA)
