Liste d'informaticiens et précurseurs de l'informatique - Définition

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

• 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

E

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

F

• Edward Feigenbaum, intelligence artificielle
• Jay Forrester (Whirlwind)

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)

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)

I

• Kenneth Iverson (APL)

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

• Gilles Kahn (1946-2006), directeur scientifique et PDG de l'INRIA, premier chercheur en informatique élu membre de l'Académie des sciences
• Philippe Kahn (créateur du Turbo Pascal, fondateur de Borland)
• Mitch Kapor (Lotus 1-2-3)
• Alan Kay (Langage Smalltalk)
• Brian Kernighan (UNIX, C)
• Gary Kildall (créateur du SE CP/M)
• Stephen Cole Kleene (Théorie de la récursion)
• Donald Knuth (The Art of Computer Programming, TeX)
• Werner Koch (GnuPG)
• Jean-Louis Krivine (chercheur, spécialiste en lambda-calcul et en théorie des ensembles)

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

• Yukihiro Matsumoto (Ruby)
• John Mauchly (ENIAC)
• Scott McNealy (Sun Microsystems)
• Bertrand Meyer (Eiffel)
• Jay Miner (Amiga)
• Kevin Mitnick (Hacker)
• Shigeru Miyamoto (Nintendo)
• Gordon E. Moore (loi de Moore)
• Charles H. Moore (langage Forth)
• Roland Moreno (Carte à puce)
• Andrew Morton (Linux)
• Ian Murdock (Debian)
• Robin Milner (Prix Turing)

N

• John Forbes Nash (Équilibre de Nash)
• John von Neumann (Architecture des ordinateurs)
• Ted Nelson (hypertexte)
• Kristen Nygaard, co-créateur du langage Simula et de la programmation orientée objet

O

• Kenneth Olsen (DEC)
• Adam Osborne (Osborne 1)
• Joseph Ossanna (troff)

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

• C. Wayne Ratliff (DBase)
• Eric Raymond (Fondateur de l'Open Source Initiative)
• Dennis Ritchie (langage C)

S

• Jonathan Sachs (Lotus 1-2-3)
• Claude Shannon (Théorie de l'information)
• Tsutomu Shimomura (Sécurité informatique)
• Herbert Simon (Intelligence artificielle)
• Charles Simonyi (Multiplan)
• Clive Sinclair (Sinclair)
• Richard Stallman (Logiciel Libre, GNU, FSF, Emacs)
• Christopher Strachey (créateur de la sémantique dénotationnelle)
• Bjarne Stroustrup (C++)
• Alan Sugar (Amstrad)
• Gerald Jay Sussman (langage Scheme, Intelligence artificielle)

T

• Andrew S. Tanenbaum (vulgarisateur, Minix inspirateur de Linux)
• Kenneth Thompson (Unix)
• Linus Torvalds (Linux)
• Marcelo Tosatti (Linux)
• André Truong Trong Thi (premier PC, le Micral)
• Jean-Michel Truong (cogniticien, Intelligence artificielle)
• Alan Mathison Turing (Thèse de Church, Machine de Turing, Intelligence artificielle)

U

• Jeffrey Ullman (Dragon book)

V

• Jef Raskin (Macintosh)
• Guido Van Rossum (Créateur du langage Python)
• John Venn (Diagramme de Venn)

W

• Larry Wall (créateur du langage Perl)
• 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 (PGP)
• Konrad Zuse (Z3)