Anexo:Informáticos teóricos
Apariencia
Esta es una lista de informáticos teóricos, también llamados científicos de la computación o computólogos, es decir, investigadores que trabajan en ciencias de la computación.
Se incluye también en la lista a algunos programadores notables, cuyo trabajo también involucra a la investigación; a algunos científicos previos a la creación del computador digital, cuyo trabajo ha sido inspirador para los informáticos póstumos; y a matemáticos cuyo trabajo cae dentro de las sub-áreas más teóricas de las ciencias de la computación, como por ejemplo, la complejidad computacional.
A
[editar]- Wil van der Aalst
- Hal Abelson
- Serge Abiteboul
- Samson Abramsky
- Leonard Adleman
- Manindra Agrawal
- Luis von Ahn
- Alfred Aho
- Amos Nuwasiima
- Frances E. Allen
- Gene Amdahl
- Tom Anderson
- A. Annerl
- Andrew Appel
- Sanjeev Arora
- John Vincent Atanasoff
B
[editar]- Charles Babbage
- Charles Bachman
- Roland Carl Backhouse
- John Backus
- David A. Bader
- Anthony James Barr
- Rudolf Bayer
- James C. Beatty, Jr.
- Gordon Bell
- Steven M. Bellovin
- Tim Berners-Lee
- Peter Bernus
- Dines Bjørner
- Gerrit Blaauw
- Manuel Blum
- Barry Boehm
- Grady Booch
- George Boole
- Bert Bos
- Jonathan Bowen
- Stephen R. Bourne
- Robert Boyer
- Jack E. Bresenham
- Per Brinch Hansen
- Sjaak Brinkkemper
- Frederick Brooks
- Rod Brooks
- Alan Burns
- Ben Aaron Mwale
C
[editar]- Martin Campbell-Kelly
- Luca Cardelli
- Edwin Catmull
- Vinton Cerf
- Gregory Chaitin
- Zhou Chaochen
- Xiuzhen (Susan) Cheng
- Noam Chomsky
- Alonzo Church
- Edmund M. Clarke
- John Cocke
- Edgar F. Codd
- Paul Justin Compton
- Gordon Cormack
- Stephen Cook
- James Cooley
- Fernando J. Corbató
- Patrick Cousot
- Seymour Cray
- Nello Cristianini
D
[editar]- Ole-Johan Dahl
- Andries van Dam
- Christopher J. Date
- Erik Demaine
- Tom DeMarco
- Dorothy E. Denning
- Peter J. Denning
- Michael Dertouzos
- Alexander Dewdney
- Vinod Dham
- Jan Dietz
- Whitfield Diffie
- Edsger Dijkstra
- Jack Dongarra
- Marco Dorigo
- Paul Dourish
- Charles Stark Draper
- Adam Dunkels
- Alan Dix
E
[editar]- Annie Easley
- Wim Ebbinkhuijsen
- John Presper Eckert
- Philip-Emeagwali
- E. Allen Emerson
- Douglas Engelbart
- Andrey Ershov
- Christopher Riche Evans
- David C. Evans
- Shimon Even
F
[editar]- Scott Fahlman
- Edward Feigenbaum
- Edward Felten
- Tim Finin
- Raphael Finkel
- Donald Firesmith
- Tommy Flowers
- Robert Floyd
- James D. Foley
- Ken Forbus
- Herbert W. Franke
- Daniel P. Friedman
G
[editar]- Richard Gabriel
- Zvi Galil
- Bernard Galler
- Hector Garcia-Molina
- Michael Garey
- Hugo de Garis
- David Gelernter
- Charles Geschke
- Seymour Ginsburg
- Robert L. Glass
- Kurt Gödel
- Joseph Goguen
- Adele Goldberg
- Ian Goldberg
- Oded Goldreich
- Shafi Goldwasser
- Gene Golub
- James Gosling
- Paul Graham
- Susan L. Graham
- Jim Gray
- Sheila Greibach
- Ralph Griswold
- Tom Gruber
- Ramanathan V. Guha
- Neil J. Gunther
- Peter G. Gyarmati
H
[editar]- Philipp Matthäus Hahn
- Eldon C. Hall
- Joseph Halpern
- Richard Hamming
- Jiawei Han
- Juris Hartmanis
- Johan Håstad
- Les Hatton
- He Jifeng
- Martin Hellman
- Gernot Heiser
- James Hendler
- John L. Hennessy
- Andrew Herbert
- Danny Hillis
- Geoffrey Hinton
- C. A. R. Hoare
- John Henry Holland
- Herman Hollerith
- John Hopcroft
- Admiral Grace Hopper
- Alston Householder
- David A. Huffman
I
[editar]J
[editar]- Ivar Jacobson
- Ramesh Jain
- Jonathan James
- David S. Johnson
- Stephen C. Johnson
- Cliff Jones
- Michael I. Jordan
- Bill Joy
K
[editar]- William Kahan
- Robert E. Kahn
- Avinash Kak
- Daniel Mopati Kapeng
- Alan Kay
- Richard Karp
- Narendra Karmarkar
- Marek Karpinski
- John George Kemeny
- Ken Kennedy
- Brian Kernighan
- Carl Kesselman
- Leonid Khachiyan
- Gregor Kiczales
- Stephen Cole Kleene
- Leonard Kleinrock
- Donald Knuth
- Andrew Koenig
- Michael Kölling
- Janet L. Kolodner
- David Korn
- Cornelis H. A. Koster
- John Koza
- Andrey Nikolaevich Kolmogorov
- Robert Kowalski
- John Krogstie
- Joseph Kruskal
- Thomas E. Kurtz
L
[editar]- Monica S. Lam
- Leslie Lamport
- Butler W. Lampson
- Peter J. Landin
- Tom Lane (computer scientist)
- Börje Langefors
- Joshua Lederberg
- Manny M Lehman
- Charles E. Leiserson
- Douglas Lenat
- Rasmus Lerdorf
- Leonid Levin
- J.C.R. Licklider
- David Liddle
- John Lions
- Richard J. Lipton
- Barbara Liskov
- Ada Lovelace
- Nancy Lynch
M
[editar]- Teddy Murray
- Mohamed Medhat
- Zohar Manna
- Max Levchin
- James Martin
- John Mashey
- Yuri Matiyasevich
- Yukihiro Matsumoto
- John McCarthy
- Douglas McIlroy
- Chris McKinstry
- Marshall Kirk McKusick
- Lambert Meertens
- Bertrand Meyer
- Silvio Micali
- Robin Milner
- Marvin Minsky
- Paul Mockapetris
- Cleve Moler
- Edward F. Moore
- Gordon Moore
- J Strother Moore
- Hans Moravec
- Robert Tappan Morris
- Joel Moses
- Stephen Muggleton
N
[editar]- Mihai Nadin
- Makoto Nagao
- Frieder Nake
- Peter Naur
- Roger Needham
- James G. Nell
- Bernard de Neumann
- John von Neumann
- Allen Newell
- Max Newman
- Andrew Ng
- Nils Nilsson
- G.M. Nijssen
- Jerre Noe
- Emmy Noether
- Peter Nordin
- Donald Norman
- George Novacky
- Kristen Nygaard
O
[editar]P
[editar]- Christos Papadimitriou
- David Parnas
- Yale Patt
- David A. Patterson
- Judea Pearl
- Alan Perlis
- Radia Perlman
- Simon Peyton Jones
- Gordon Plotkin
- Amir Pnueli
- Willem van der Poel
- Emil Post
- Jon Postel
- Franco Preparata
Q
[editar]R
[editar]- Michael O. Rabin
- T. V. Raman
- Brian Randell
- Yoav Raz
- Raj Reddy
- David P. Reed
- John C. Reynolds
- Joyce K. Reynolds
- Adam Riese
- Dennis Ritchie
- Ron Rivest
- Colette Rolland
- Azriel Rosenfeld
- Douglas T. Ross
- Guido van Rossum
- Winston W. Royce
- Rudy Rucker
- Steven Rudich
- Jeff Rulifson
- James Rumbaugh
- Raj Chandel
S
[editar]- George Sadowsky
- Gerard Salton
- Jean E. Sammet
- Claude Sammut
- Carl Sassenrath
- Jonathan Schaeffer
- Wilhelm Schickard
- Bruce Schneier
- Fred B. Schneider
- Dana Scott
- Michael L. Scott
- Ravi Sethi
- Adi Shamir
- Claude Shannon
- David E. Shaw
- Scott Shenker
- Ben Shneiderman
- Edward H. Shortliffe
- Joseph Sifakis
- Herbert Simon
- Daniel Sleator
- Arne Sølvberg
- Brian Cantwell Smith
- Steven Spewak
- Robert Sproull
- Maciej Stachowiak
- Richard Stallman
- Ronald Stamper
- Richard Stearns
- Guy L. Steele, Jr.
- Thomas Sterling
- Larry Stockmeyer
- Michael Stonebraker
- Christopher Strachey
- Bjarne Stroustrup
- Madhu Sudan
- Gerald Jay Sussman
- Bert Sutherland
- Ivan Sutherland
- Mario Szegedy
T
[editar]- Andrew S. Tanenbaum
- Robert Tarjan
- Shang-Hua Teng
- Larry Tesler
- Avie Tevanian
- Bruce H. Thomas
- Ken Thompson
- Walter F. Tichy
- Seinosuke Toda
- Linus Torvalds
- Joseph F Traub
- John Tukey
- Murray Turoff
- Alan Turing
U
[editar]V
[editar]W
[editar]- Philip Wadler
- David Wagner
- Larry Wall
- James Z. Wang
- Kevin Warwick
- Jan Weglarz
- Jie Wu
- Peter Wegner
- Peter J. Weinberger
- Mark Weiser
- Joseph Weizenbaum
- Adriaan van Wijngaarden
- Mary Allen Wilkes
- Maurice Vincent Wilkes
- Yorick Wilks
- Manfred K. Warmuth
- James H. Wilkinson
- Sophie Wilson
- Shmuel Winograd
- Terry Winograd
- Niklaus Wirth
- Dennis E. Wisnosky
- Stephen Wolfram
- William Wulf