Liste d'informaticiens et précurseurs de l'informatique

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).

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)

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.

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)

D

E

  • Douglas Engelbart (souris, interface graphique)
  • Philip Estridge (concepteur de l'IBM PC)

F

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)

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)

J

  • Joseph-Marie Jacquard (inventeur de la programmation par carte perforée des métiers à tisser)
  • Steve Jobs (Apple)
  • Bill Joy (Unix BSD, vi)

K

L

  • Leslie Lamport (LaTeX)
  • Douglas Lenat (intelligence artificielle)
  • Rasmus Lerdorf (PHP)
  • Barbara Liskov (abstraction de données)
  • Ada Lovelace (qui a donné son prénom au langage ADA)
  • Xavier Leroy (chercheur à l'INRIA, langage Ocaml)

M

N

O

P

  • Claude Pair, pionnier français, créateur du Centre de Recherche en Informatique de Nancy
  • Blaise Pascal (Pascaline)
  • Roland Perry (Amstrad CPC)
  • Bui Tuong Phong (algorithme d'ombrage en informatique graphique)
  • Jon Postel (Arpanet, Internet)
  • J. Presper Eckert (ENIAC)
  • Jacques Pitrat (chercheur en intelligence artificielle, méta-connaissance)

R

S

T

U

  • Jeffrey Ullman (Dragon book)

V

W

  • Larry Wall (créateur du langage Perl)
  • Jean-Dominique Warnier (méthode du même nom)
  • John Warnock (PostScript, Adobe)
  • Joseph Weizenbaum (Intelligence artificielle)
  • Niklaus Wirth (langage Pascal, Modula)
  • Stephen Wozniak (Apple)

Y

  • Ed Yourdon (Programmation structurée)

Z

  • Lotfi Zadeh (Logique floue)
  • Phil Zimmerman (Pretty good privacy)
  • Konrad Zuse (Z3)