Anexo:Informáticos teóricos
(Redirigido desde «Anexo:Lista de informáticos teóricos»)
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
editarB
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
editarE
editarF
editarG
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
editarJ
editarK
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
editarO
editarP
editarQ
editarR
editarS
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
editarU
editarV
editarW
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