Esta es una lista de científicos informáticos , personas que trabajan en informática , en particular investigadores y autores.
Se incluyen aquí algunas personas que se destacan como programadores porque trabajan en investigación y también en programación. Algunas de estas personas son anteriores a la invención de la computadora digital; ahora se las considera científicos informáticos porque su trabajo puede considerarse como el que condujo a la invención de la computadora. Otros son matemáticos cuyo trabajo se enmarca en lo que hoy se denominaría ciencia informática teórica, como la teoría de la complejidad y la teoría de la información algorítmica .
A
- Atta ur Rehman Khan – Computación en la nube móvil , ciberseguridad , IoT
- Wil van der Aalst – gestión de procesos de negocio , minería de procesos , redes de Petri
- Scott Aaronson : computación cuántica y teoría de la complejidad
- Rediet Abebe – algoritmos , inteligencia artificial
- Hal Abelson : la intersección entre la informática y la enseñanza
- Serge Abiteboul – teoría de bases de datos
- Samson Abramsky – semántica del juego
- Leonard Adleman – RSA , computación de ADN
- Manindra Agrawal – prueba de primalidad en tiempo polinomial
- Luis von Ahn – computación basada en humanos
- Alfred Aho – libro de compiladores, la 'a' en AWK
- Frances E. Allen – optimización del compilador
- Gene Amdahl : desarrollador de supercomputadoras , fundador de Amdahl Corporation
- David P. Anderson – computación voluntaria
- Lisa Anthony – Interfaces de usuario naturales
- Andrew Appel – compilador de libros de texto
- Cecilia R. Aragon – Inventó treap , la ciencia de datos centrada en el ser humano
- Bruce Arden : compiladores de lenguajes de programación (GAT, Michigan Algorithm Decoder (MAD)), arquitectura de memoria virtual, Michigan Terminal System (MTS)
- Kevin Ashton , pionero y creador de la Internet de las cosas en el MIT
- Sanjeev Arora – Teorema PCP
- Winifred "Tim" Alice Asprey : estableció el plan de estudios de informática en Vassar College
- John Vincent Atanasoff – pionero de la informática, creador de Atanasoff Berry Computer (ABC)
- Shakuntala Atre - teoría de la base de datos
- Lennart Augustsson : lenguajes (Lazy ML , Cayenne), compiladores (HBC Haskell , front end paralelo de Haskell, Bluespec SystemVerilog en sus inicios), pionero de LPMud , controladores de dispositivos NetBSD
B
- Charles Babbage (1791–1871): inventó la primera computadora mecánica y fue considerado el matemático supremo.
- Charles Bachman – Científico informático estadounidense, conocido por Integrated Data Store
- Roland Carl Backhouse – matemáticas de la construcción de programas informáticos , resolución de problemas algorítmicos , ALGOL
- John Backus – FORTRAN , formato Backus–Naur , primer compilador completo
- David F. Bacon – lenguajes de programación, recolección de basura
- David Bader
- Víctor Bahl
- Anthony James Barr – Sistema SAS
- Jean Bartik (1924–2011): uno de los primeros programadores de computadoras , en ENIAC (1946), una de las primeras computadoras de tubo de vacío , cuando la "programación" implicaba el uso de cables, diales e interruptores para recablear físicamente la máquina; trabajó con John Mauchly en BINAC (1949), EDVAC (1949), UNIVAC (1951) para desarrollar las primeras computadoras de " programa almacenado "
- Andrés Barto
- Friedrich L. Bauer – Stack (estructura de datos) , traducción de fórmulas secuenciales , ALGOL , ingeniería de software , teorema de Bauer-Fike
- Rudolf Bayer – Árbol B
- Gordon Bell (1934–2024) – diseñador de computadoras DEC VAX , autor: Computer Structures
- Steven M. Bellovin – seguridad de redes
- Cecilia Berdichevsky (1925–2010) – científica informática argentina pionera
- Tim Berners-Lee – La red mundial
- Daniel J. Bernstein – qmail , software como expresión protegida
- Pedro Bernus
- Abhay Bhushan
- Dines Bjørner – Método de Desarrollo de Viena (VDM), RAISE
- Gerrit Blaauw , uno de los principales diseñadores de la línea de computadoras IBM System 360
- Sue Negro
- David Blei
- Dorothy Blum – Agencia de Seguridad Nacional
- Lenore Blum – complejidad
- Manuel Blum – criptografía
- Barry Boehm – Economía de la ingeniería de software, desarrollo en espiral
- Corrado Böhm – autor del teorema del programa estructurado
- Kurt Bollacker
- Jeff Bonwick : inventó la asignación de losas y ZFS
- Grady Booch – Lenguaje de modelado unificado , Object Management Group
- George Boole – Lógica booleana
- Andrew Booth desarrolló el primer dispositivo de almacenamiento en tambor giratorio
- Kathleen Booth – desarrolló el primer lenguaje ensamblador
- Anita Borg (1949–2003): científica informática estadounidense, fundadora del Instituto Anita Borg para Mujeres y Tecnología
- Bert Bos – Hojas de estilo en cascada
- Mikhail Botvinnik – Campeón mundial de ajedrez, científico informático e ingeniero eléctrico, pionero de los primeros sistemas expertos de inteligencia artificial y ajedrez informático
- Jonathan Bowen – Notación Z , métodos formales
- Stephen R. Bourne – Bourne shell , compilador portátil ALGOL 68C
- Harry Bouwman (nacido en 1953): investigador de sistemas de información holandés y profesor de la Universidad Åbo Akademi
- Robert S. Boyer : búsqueda de cadenas, demostrador del teorema ACL2
- Karlheinz Brandenburg – Principal colaborador de mp3
- Gilles Brassard – Pionero del protocolo BB84 y de la criptografía cuántica
- Lawrence M. Breed : implementación de la notación Iverson (APL), co-desarrollador de APL \360, cofundador de Scientific Time Sharing Corporation
- Jack E. Bresenham : primeras contribuciones a la computación gráfica, incluido el algoritmo de Bresenham
- Sergey Brin – cofundador de Google
- David J. Brown : arquitectura de memoria unificada , compatibilidad binaria
- Per Brinch Hansen (apellido "Brinch Hansen") – Sistema multiprogramación RC 4000 , núcleos de sistemas operativos , micronúcleos , monitores , programación concurrente , Pascal concurrente , computación distribuida y procesos, computación paralela
- Sjaak Brinkkemper – metodología de desarrollo de software de productos
- Fred Brooks – System 360 , OS/360 , El mes mítico del hombre , No hay bala de plata
- Rod Brooks
- Margaret Burnett : lenguajes de programación visual , ingeniería de software para el usuario final y software inclusivo de género
- Rod Burstall – idiomas COWSEL (rebautizado como POP-1), POP-2 , NPL , Hope ; Premio al logro de ACM SIGPLAN 2009 PL
- Michael Butler – Evento B
do
- Pino Caballero Gil – criptografía
- Tracy Camp – computación inalámbrica
- Martin Campbell-Kelly : historia de la informática
- Romero Candlin
- Rod Canion – cofundador de Compaq Computer Corporation
- Bryan Cantrill – inventó DTrace
- Luca Cardelli
- John Carmack – co-desarrolló Doom
- Michael Caspersen – metodología de programación , educación en programación orientada a objetos , liderazgo en el desarrollo de la educación informática
- Edwin Catmull – gráficos por computadora
- Vint Cerf – Internet, TCP/IP
- Gregorio Chaitin
- Robert Cailliau – Informático belga
- Zhou Chaochen – cálculo de duración
- Peter Chen – modelo entidad-relación , modelado de datos , modelo conceptual
- Leonardo Chiariglione – fundador de MPEG
- Tracy Chou – científica informática y activista
- Alonzo Church – Matemáticas de combinadores, cálculo lambda
- Alberto Ciaramella – reconocimiento de voz , informática de patentes
- Edmund M. Clarke – verificación de modelos
- John Cocke – RISC
- Edgar F. Codd (1923–2003) – formuló el modelo relacional de base de datos
- Jacques Cohen – profesor de informática
- Ian Coldwater – seguridad informática
- Simon Colton – creatividad computacional
- Alain Colmerauer – Prólogo
- Douglas Comer - Xinu
- Paul Justin Compton – Reglas de Ripple Down
- Richard W. Conway – Lenguajes y dialectos CORC , CUPL y PL/C ; libros de texto de programación
- Gordon Cormack , coinventor de la compresión dinámica de Markov
- Stephen Cook – NP-completitud
- James Cooley – Transformada rápida de Fourier (FFT)
- Danese Cooper – software de código abierto
- Fernando J. Corbató – Sistema de Tiempo Compartido Compatible (CTSS), Multics
- Kit Cosper – software de código abierto
- Patrick Cousot – interpretación abstracta
- Ingemar Cox – marca de agua digital
- Damien Coyle – neurociencia computacional , neuroimagen , neurotecnología e interfaz cerebro-computadora
- Seymour Cray – Cray Research , supercomputadora
- Nello Cristianini – aprendizaje automático, análisis de patrones, inteligencia artificial
- Jon Crowcroft – redes sociales
- W. Bruce Croft
- Glen Culler : computación interactiva, gráficos por computadora, computación de alto rendimiento
- Curry de Haskell
D
- Luigi Dadda – diseñador del multiplicador Dadda
- Ole-Johan Dahl – Simula , programación orientada a objetos
- Ryan Dahl – fundador del proyecto node.js
- Andries van Dam – infografía , hipertexto
- Samir Das – Redes inalámbricas , Computación móvil , Redes ad hoc para vehículos , Redes de sensores , Redes en malla , Redes ad hoc inalámbricas
- Neil Daswani – seguridad informática , cofundador y codirector del Programa de Seguridad Informática Avanzada de Stanford, cofundador de Dasient (adquirida por Twitter), exjefe de seguridad informática de LifeLock y de la Unidad de Negocios de Consumo de Symantec
- Christopher J. Date : defensor del modelo relacional de bases de datos
- Terry A. Davis – creador de TempleOS
- Jeff Dean – Bigtable , MapReduce y la herramienta de Google
- Erik Demaine – origami computacional
- Tom De Marco
- Richard DeMillo – seguridad informática , ingeniería de software , tecnología educativa
- Dorothy E. Denning – seguridad informática
- Peter J. Denning – identificó el uso del conjunto de trabajo y el conjunto de equilibrio de un sistema operativo , presidente de ACM
- Michael Dertouzos – Director del Laboratorio de Ciencias de la Computación (LCS) del Instituto Tecnológico de Massachusetts (MIT) de 1974 a 2001
- Alejandro Dewdney
- Robert Dewar – Miembro del grupo de trabajo 2.1 de la IFIP , ALGOL 68 , presidente; cofundador, presidente y director ejecutivo de AdaCore
- Vinod Dham - Procesador Pentium P5
- Jan Dietz (nacido en 1945) ( constante de decaimiento ) – teoría de sistemas de información y metodología de diseño e ingeniería para organizaciones
- Whitfield Diffie (nacido en 1944) ( función de respuesta lineal ): criptografía de clave pública , intercambio de claves Diffie-Hellman
- Edsger W. Dijkstra – algoritmos , algoritmo de Dijkstra , la instrucción Go To se considera dañina , semáforo (programación) , miembro del grupo de trabajo 2.1 de IFIP
- Matthew Dillon – DragonFly BSD con LWKT , virtualización a nivel de sistema operativo vkernel , sistemas de archivos : HAMMER 1, HAMMER2
- Alan Dix – escribió un importante libro de texto de nivel universitario sobre la interacción hombre-computadora
- Jack Dongarra : computación de alto rendimiento (HCI) en álgebra lineal
- Marco Dorigo – optimización de colonias de hormigas
- Paul Dourish – Interacción hombre-computadora
- Charles Stark Draper (1901-1987): diseñador de la computadora de guía Apollo , "padre de la navegación inercial ", profesor del MIT
- Susan Dumais – recuperación de información
- Adam Dunkels – Contiki , lwIP , uIP , protothreads
- Jon Michael Dunn – decano fundador de la Facultad de Informática de la Universidad de Indiana, lógica basada en la información, especialmente lógica de relevancia
- Schahram Dustdar – Sistemas distribuidos, TU Wien, Austria
mi
- Peter Eades – dibujo gráfico
- Annie Easley
- Wim Ebbinkhuijsen – COBOL
- John Presper Eckert – ENIAC
- Alan Edelman – Ley de Edelman, operador estocástico, supercomputación interactiva, cocreador de Julia (lenguaje de programación) , computación de alto rendimiento, computación numérica
- Brendan Eich – JavaScript , Mozilla
- Philip Emeagwali – supercomputación
- E. Allen Emerson – verificación de modelos
- Douglas Engelbart – ventanas de mosaico , hipertexto , ratón de ordenador
- Barbara Engelhardt – modelos de variables latentes , genómica , locus de rasgos cuantitativos (QTL)
- David Eppstein
- Andrey Ershov – idiomas ALPHA , Rapira ; primer sistema soviético de tiempo compartido AIST-0 , sistema de publicación electrónica RUBIN , estación de trabajo multiprocesamiento MRAMOR , miembro del grupo de trabajo 2.1 del IFIP , Estética y factor humano en la programación
- Don Estridge (1937–1985): dirigió el desarrollo de la computadora personal (PC) original de IBM; conocido como el "padre de la IBM PC"
- Oren Etzioni – MetaCrawler , Netbot
- Christopher Riche Evans
- David C. Evans – gráficos por computadora
- Shimon Even
F
GRAMO
- Richard P. Gabriel – Maclisp , Common Lisp , Peor es mejor , Liga para la Libertad de Programación , Lucid Inc. , XEmacs
- Zvi Galil
- Bernard Galler – MAD (lenguaje de programación)
- Héctor García-Molina
- Michael Garey – NP-completitud
- Hugo de Garis
- Bill Gates – cofundador de Microsoft
- David Gelernter
- Lisa Gelobter – fue directora de servicios digitales del Departamento de Educación de EE. UU., fundadora de teQuitable
- Charles Geschke
- Zoubin Ghahramani
- Sanjay Ghemawat
- Jeremy Gibbons – programación genérica , programación funcional , métodos formales , biología computacional , bioinformática
- Juan E. Gilbert – computación centrada en el ser humano
- Lee Giles – CiteSeer
- Seymour Ginsburg – lenguajes formales , teoría de autómatas , teoría de AFL , teoría de bases de datos
- Robert L. Vidrio
- Kurt Gödel – computabilidad ; no es un científico informático per se, pero su trabajo fue invaluable en el campo
- Ashok Goel
- José Goguen
- E. Mark Gold – Identificación del lenguaje en el límite
- Adele Goldberg – Charla informal
- Andrew V. Goldberg – algoritmos , ingeniería de algoritmos
- Ian Goldberg – criptógrafo, mensajería extraoficial
- Judy Goldsmith – teoría de la complejidad computacional , teoría de la decisión y ética informática
- Oded Goldreich – criptografía , teoría de la complejidad computacional
- Shafi Goldwasser – criptografía , teoría de la complejidad computacional
- Gene Golub – Cálculo matricial
- Martin Charles Golumbic – teoría de grafos algorítmicos
- Gastón Gonnet – cofundador de Waterloo Maple Inc.
- Ian Goodfellow – aprendizaje automático
- James Gosling – Sistema de ventanas extensible en red ( NeWS ), Java
- Paul Graham – Viaweb , On Lisp , Arc
- Robert M. Graham : compiladores de lenguajes de programación (GAT, Michigan Algorithm Decoder (MAD)), arquitectura de memoria virtual, Multics
- Susan L. Graham – compiladores , entornos de programación
- Jim Gray – base de datos
- Sheila Greibach – Forma normal de Greibach , teoría de la familia abstracta de lenguajes (AFL)
- David Gries – La ciencia de la programación , Libertad de interferencia , Miembro emérito, IFIP WG 2.3 sobre metodología de programación
- Robert Griesemer – El lenguaje Go
- Ralph Griswold – SNOBOL
- Bill Gropp – Interfaz de paso de mensajes , kit de herramientas portátil y extensible para computación científica (PETSc)
- Tom Gruber – ingeniería ontológica
- Shelia Guberman – reconocimiento de escritura a mano
- Ramanathan V. Guha – Marco de descripción de recursos (RDF), Netscape , RSS , Epinions
- Neil J. Gunther : análisis del rendimiento informático , planificación de la capacidad
- Jürg Gutknecht – con Niklaus Wirth : la computadora Lilith ; Modula-2 , Oberon , lenguajes de programación Zonnon ; sistema operativo oberon
- Michael Guy – Phoenix , trabajo sobre teoría de números , álgebra computacional , teoría de poliedros de dimensiones superiores ; con John Horton Conway
- Giri Topper - Topper de la Universidad Anna y Programador
yo
- Nico Habermann – sistemas operativos , ingeniería de software , comunicación entre procesos , sincronización de procesos, prevención de bloqueos , verificación de software , lenguajes de programación : ALGOL 60 , BLISS , Pascal , Ada
- Philipp Matthäus Hahn - calculadora mecánica
- Eldon C. Hall – Computadora de orientación Apollo
- Wendy Salón
- José Halpern
- Margaret Hamilton : diseño de software de máxima fiabilidad para misiones espaciales del programa Apolo
- Richard Hamming – Código Hamming , fundador de la Association for Computing Machinery
- Jiawei Han – minería de datos
- Frank Harary – teoría de grafos
- Brian Harris : investigación sobre traducción automática , primer curso de traducción asistida por computadora de Canadá , teoría de la traducción natural, interpretación comunitaria (Critical Link)
- Juris Hartmanis – teoría de la complejidad computacional
- Johan Håstad – teoría de la complejidad computacional
- Les Hatton : fallos y vulnerabilidades del software
- Igor Hawryszkiewycz (nacido en 1948) – Científico informático y teórico organizacional estadounidense
- He Jifeng – sistemas demostrablemente correctos
- Eric Hehner – programación predicativa , métodos formales , notación de comillas , ALGOL
- Martin Hellman – cifrado
- Gernot Heiser – enseñanza, investigación y comercialización de sistemas operativos , Open Kernel Labs , OKL4 , Wombat
- James Hendler - Web semántica
- John L. Hennessy – arquitectura informática
- Andrés Herbert
- Carl Hewitt
- Kelsey Hightower : código abierto, computación en la nube
- Danny Hillis – La máquina de conexión
- Geoffrey Hinton
- Julia Hirschberg
- Tin Kam Ho : inteligencia artificial , aprendizaje automático
- CAR Hoare – lógica , rigor, comunicación de procesos secuenciales (CSP)
- Louis Hodes (1934–2008): Lisp , reconocimiento de patrones , programación lógica , investigación del cáncer
- Betty Holberton – Programadora de ENIAC , desarrolló el primer generador de ordenación y combinación
- John Henry Holland – algoritmos genéticos
- Herman Hollerith (1860–1929): inventó el registro de datos en un medio legible por máquina, utilizando tarjetas perforadas.
- Gerard Holzmann – Verificación de software , verificación de modelos lógicos ( SPIN )
- John Hopcroft – compiladores
- Almirante Grace Hopper (1906–1992) – desarrolló los primeros compiladores: FLOW-Matic, COBOL ; trabajó en UNIVAC ; dio discursos sobre la historia de la informática, donde repartió nanosegundos.
- Eric Horvitz – inteligencia artificial
- Alston, jefe de familia
- Paul Hudak (1952–2015): diseño del lenguaje Haskell , libros de texto sobre él y música informática
- David A. Huffman (1925–1999): codificación Huffman , utilizada en la compresión de datos
- John Hughes : estructuración de cálculos con flechas ; marco de prueba de programas aleatorios QuickCheck ; diseño del lenguaje Haskell
- Roger Hui – co-creador del lenguaje J
- Watts Humphrey (1927–2010) – Proceso de software personal (PSP), Calidad de software , Proceso de software en equipo (TSP)
- Sandra Hutchins (nacida en 1946) – reconocimiento de voz
I
Yo
K
- William Kahan – análisis numérico
- Robert E. Kahn – TCP/IP
- Avinash Kak – procesamiento de imágenes digitales
- Poul-Henning Kamp – inventó GBDE , las cárceles de FreeBSD y la caché Varnish
- David Karger
- Richard Karp – NP-completitud
- Narendra Karmarkar - algoritmo de Karmarkar
- Marek Karpinski – Problemas de optimización de NP
- Ted Kaehler – Smalltalk , Squeak , HyperCard
- Alan Kay – Dynabook , Smalltalk , ventanas superpuestas
- Neeraj Kayal – Prueba de primalidad de AKS
- Manolis Kellis – biología computacional
- John George Kemeny – el lenguaje BASIC
- Ken Kennedy : compilación para máquinas paralelas y vectoriales
- Brian Kernighan (nacido en 1942) – Unix , la 'k' en AWK
- Carl Kesselman – Computación en red
- Gregor Kiczales – CLOS , programación reflexiva , programación orientada a aspectos
- Peter T. Kirstein - Internet
- Stephen Cole Kleene – Teoría de la recursión , clausura de Kleene
- Dan Klein – Procesamiento del lenguaje natural , Traducción automática
- Leonard Kleinrock – ARPANET , teoría de colas , conmutación de paquetes , enrutamiento jerárquico
- Donald Knuth – El arte de la programación informática , MIX / MMIX , TeX , programación literaria
- Andrew Koenig – C++
- Daphne Koller – Inteligencia artificial , red bayesiana
- Michael Kölling – BlueJ
- Andrey Nikolaevich Kolmogorov – teoría de la complejidad algorítmica
- Janet L. Kolodner – razonamiento basado en casos
- David Korn – Concha de Korn
- Kees Koster – ALGOL 68
- Robert Kowalski – programación lógica
- John Koza – programación genética
- John Krogstie – marco SEQUAL
- Joseph Kruskal – El algoritmo de Kruskal
- Maarja Kruusmaa – robótica submarina
- Thomas E. Kurtz (nacido en 1928): lenguaje de programación BASIC ; profesor de informática del Dartmouth College
yo
- Richard E. Ladner
- Mónica S. Lam
- Leslie Lamport – Algoritmos para computación distribuida , LaTeX
- Butler Lampson – SDS 940 , miembro fundador de Xerox PARC , Xerox Alto , Premio Turing
- Peter Landin – ISWIM , operador J , máquina SECD , regla del fuera de juego , azúcar sintáctico , ALGOL , miembro del IFIP WG 2.1 , cálculo lambda avanzado para modelar lenguajes de programación ( programación funcional asistida ), semántica denotacional
- Tom Lane – Grupo independiente de JPEG , PostgreSQL , Gráficos de red portátiles (PNG)
- Barrio Langefors
- Chris Lattner : creador de Swift (lenguaje de programación) y de la infraestructura del compilador LLVM
- Steve Lawrence
- Edward D. Lazowska
- Joshua Lederberg
- Manny M. Lehman
- Charles E. Leiserson : algoritmos que ignoran la memoria caché , robo de trabajo demostrablemente eficaz , coautor de Introducción a los algoritmos
- Douglas Lenat – inteligencia artificial , Cyc
- Yann Le Cun
- Rasmus Lerdorf – PHP
- Max Levchin – Prueba de Gausebeck-Levchin y PayPal
- Leonid Levin – teoría de la complejidad computacional
- Kevin Leyton-Brown – inteligencia artificial
- Licklider del JCR
- David Liddle
- Jochen Liedtke – sistemas operativos microkernel Eumel , L3 , L4
- John Lions – Comentario de los Lions sobre UNIX, sexta edición, con código fuente (libro de los Lions)
- Charles H. Lindsey – Miembro del grupo de trabajo 2.1 del IFIP , Informe revisado sobre ALGOL 68
- Richard J. Lipton – teoría de la complejidad computacional
- Barbara Liskov – lenguajes de programación
- Yanhong Annie Liu – lenguajes de programación , algoritmos , diseño de programas, optimización de programas , sistemas de software , optimización, análisis y transformaciones, sistemas inteligentes, computación distribuida , seguridad informática , miembro del IFIP WG 2.1
- Darrell Long – almacenamiento de datos informáticos , seguridad informática
- Patricia D. Lopez – Ampliando la participación en la informática
- Gillian Lovegrove
- Ada Lovelace – primera programadora
- David Luckham – Lisp , demostración automatizada de teoremas , verificador Pascal de Stanford , procesamiento de eventos complejos , cofundador de Rational Software ( compilador Ada )
- Eugene Luks
- Nancy Lynch
METRO
- Nadia Magnenat Thalmann – infografía , actriz virtual
- Tom Maibaum
- George Mallen – computación creativa , artes informáticas
- Simon Marlow – Desarrollador de Haskell , autor de libros; codesarrollador: Glasgow Haskell Compiler , biblioteca de acceso remoto a datos Haxl
- Maná del Zohar : lógica difusa
- James Martin – Ingeniería de la información
- Robert C. Martin (Tío Bob): la artesanía del software
- Juan Mashey
- Yuri Matiyasevich – resolviendo el décimo problema de Hilbert
- Yukihiro Matsumoto - Ruby (lenguaje de programación)
- John Mauchly (1907–1980): diseñó ENIAC , la primera computadora digital electrónica de propósito general, y EDVAC, BINAC y UNIVAC I, la primera computadora comercial; trabajó con Jean Bartik en ENIAC y Grace Murray Hopper en UNIVAC
- Ujjwal Maulik (nacido en 1965) agrupamiento multiobjetivo y bioinformática
- Derek McAuley – computación ubicua , arquitectura informática , redes
- Conor McBride – investiga la teoría de tipos , programación funcional ; co-creó Epigram (lenguaje de programación) con James McKinna; miembro del Grupo de Trabajo 2.1 del IFIP sobre lenguajes algorítmicos y cálculos
- John McCarthy – Lisp (lenguaje de programación) , ALGOL , miembro del IFIP WG 2.1 , inteligencia artificial
- Andrew McCallum
- Douglas McIlroy – macros , tuberías, filosofía Unix
- Chris McKinstry – inteligencia artificial , Mindpixel
- Marshall Kirk McKusick – BSD , Sistema de archivos rápido de Berkeley
- Lambert Meertens – ALGOL 68 , miembro del grupo de trabajo 2.1 de IFIP , ABC (lenguaje de programación)
- Kurt Mehlhorn – Algoritmos, estructuras de datos, LEDA
- Dora Metcalf – empresaria, ingeniera y matemática
- Bertrand Meyer – Eiffel (lenguaje de programación)
- Silvio Micali – criptografía
- Robin Milner – ML (lenguaje de programación)
- Jack Minker - lógica de base de datos
- Marvin Minsky – inteligencia artificial , perceptrones , Sociedad de la Mente
- James G. Mitchell – compilador WATFOR , Mesa (lenguaje de programación) , Spring (sistema operativo) , arquitectura ARM
- Tom M. Mitchell
- Arvind Mithal : verificación formal de grandes sistemas digitales , desarrollo de arquitecturas de flujo de datos dinámicos , lenguajes de programación de computación paralela (Id, pH), compilación en máquinas paralelas
- Paul Mockapetris – Sistema de nombres de dominio (DNS)
- Cleve Moler – análisis numérico , MATLAB
- Faron Moller – teoría de la concurrencia
- John P. Moon – inventor , Apple Inc.
- Charles H. Moore – El lenguaje de Forth
- Edward F. Moore – Máquina Moore
- Gordon Moore – Ley de Moore
- J Strother Moore : búsqueda de cadenas, demostrador del teorema ACL2
- Roger Moore : co-desarrolló APL \360, creó IPSANET , cofundó IP Sharp Associates
- Hans Moravec – robótica
- Carroll Morgan – métodos formales
- Robert Tappan Morris – Gusano Morris
- Joel Moisés – Macsyma
- Rajeev Motwani – algoritmo aleatorio
- Oleg A. Mukhanov : desarrollador de computación cuántica , cofundador y director de tecnología de SeeQC
- Stephen Muggleton – Programación lógica inductiva
- Klaus-Robert Müller – aprendizaje automático, inteligencia artificial
- Alan Mycroft – lenguajes de programación
- Brad A. Myers – interacción hombre-computadora
norte
- Mihai Nadin – investigación de anticipación
- Makoto Nagao – traducción automática, procesamiento del lenguaje natural, biblioteca digital
- Frieder Nake : pionero en las artes informáticas
- Bonnie Nardi – interacción humano-computadora
- Peter Naur (1928–2016) – Forma Backus–Naur (BNF), ALGOL 60 , miembro del grupo de trabajo 2.1 de la IFIP
- Roger Needham – seguridad informática
- James G. Nell – Arquitectura y metodología de referencia empresarial generalizada (GERAM)
- Greg Nelson (1953–2015): teorías de módulo de satisfacibilidad , verificación estática extendida , verificación de programas , comité Modula-3 , demostrador de teoremas simplificado en ESC/Java
- Bernard de Neumann : procesador celular autónomo de paralelismo masivo, investigación en ingeniería de software
- Klara Dan von Neumann (1911-1963): primeras computadoras, programadora ENIAC y diseñadora de controles
- John von Neumann (1903–1957): primeras computadoras, máquina de von Neumann , teoría de conjuntos , análisis funcional , pionero de las matemáticas, programación lineal , mecánica cuántica
- Allen Newell – inteligencia artificial , estructuras informáticas
- Max Newman – Computadora Colossus , MADM
- Andrew Ng – inteligencia artificial , aprendizaje automático , robótica
- Nils John Nilsson (1933–2019) – inteligencia artificial
- GM Nijssen - Modelado de objetos y roles de la Metodología de análisis de información de Nijssen (NIAM)
- Tobias Nipkow – ayuda con la prueba
- Maurice Nivat – Ciencias de la computación teóricas , revista Theoretical Computer Science , ALGOL , miembro del grupo de trabajo 2.1 de IFIP
- Phiwa Nkambule – Fintech , inteligencia artificial , aprendizaje automático , robótica
- Jerre Noe – banca informatizada
- Peter Nordin – inteligencia artificial , programación genética , robótica evolutiva
- Donald Norman – interfaces de usuario , usabilidad
- Peter Norvig – Inteligencia artificial , Director de Investigación de Google
- George Novacky – Universidad de Pittsburgh: subdirector del departamento, profesor titular de informática, decano adjunto de CAS para estudios de grado
- Kristen Nygaard – Simula , programación orientada a objetos
Oh
PAG
- Larry Page – cofundador de Google
- Sankar Pal
- Paritosh Pandya
- Cristos Papadimitriou
- David Park (1935–1990): primera implementación de Lisp , experto en equidad, esquemas de programas y bisimulación en computación concurrente
- David Parnas – ocultación de información , programación modular
- DJ Patil – ex científico jefe de datos de Estados Unidos
- Yale Patt – Paralelismo a nivel de instrucción , arquitecturas especulativas
- David Patterson : computadora de conjunto de instrucciones reducido (RISC), RISC-V , matrices redundantes de discos económicos ( RAID ), Berkeley Network of Workstations (NOW)
- Mike Paterson – algoritmos , análisis de algoritmos (complejidad)
- Mihai Pătraşcu – estructuras de datos
- Lawrence Paulson – ML
- Randy Pausch (1960–2008) – interacción hombre-computadora , profesor de Carnegie, " La última lección "
- Juan Pavón – agentes de software
- Judea Pearl – inteligencia artificial , algoritmos de búsqueda
- Alan Perlis – Perlas de programación
- Protocolo de árbol de expansión Radia Perlman
- Pier Giorgio Perotto – diseñador informático en Olivetti , diseñador de la calculadora programable Programma 101
- Rózsa Péter - teoría de la función recursiva
- Simon Peyton Jones – programación funcional , compilador Glasgow Haskell , C--
- Kathy Pham – datos, inteligencia artificial, tecnología cívica, atención médica, ética
- Roberto Pieraccini – tecnólogo del habla, director de ingeniería de Google
- Keshav Pingali - Premio Charles Babbage de la IEEE Computer Society , miembro de ACM (2012)
- Gordon Plotkin
- Amir Pnueli – lógica temporal
- Willem van der Poel – infografía, robótica, sistemas de información geográfica, imágenes, multimedia, entornos virtuales, juegos
- Robin Popplestone – COWSEL (rebautizado como POP-1), POP-2 , lenguajes POP-11 , IDE Poplog ; robot Freddy II
- Cicely Popplewell (1920–1995): ingeniera de software británica en la década de 1960
- Emil Post – matemáticas
- Jon Postel – Internet
- Franco Preparata – ingeniería informática , geometría computacional , algoritmos paralelos , biología computacional
- William H. Press – Algoritmos numéricos
R
- Rapelang Rabana
- Grzegorz Rozenberg – computación natural , teoría de autómatas , transformaciones de grafos y sistemas concurrentes
- Michael O. Rabin – máquina no determinista
- Dragomir R. Radev – procesamiento del lenguaje natural , recuperación de información
- TV Raman – accesibilidad , Emacspeak
- Brian Randell – ALGOL 60 , tolerancia a fallas del software , confiabilidad , historia del hardware informático anterior a 1950
- Anders P. Ravn – Cálculo de la duración
- Raj Reddy – inteligencia artificial
- David P. Reed
- Trygve Reenskaug – Patrón de arquitectura de software modelo-vista-controlador (MVC)
- John C. Reynolds – continuaciones , intérpretes definicionales, desfuncionalización , Forsythe, lenguaje Gedanken, tipos de intersección , cálculo lambda polimórfico , parametricidad relacional , lógica de separación , ALGOL
- Joyce K. Reynolds – Internet
- Reinder van de Riet – Editor: Europa de la ingeniería de datos y conocimiento , lenguaje de modelado de eventos COLOR-X
- Bernard Richards – informática médica
- Martin Richards – BCPL
- Adán Riese
- CJ van Rijsbergen
- Dennis Ritchie – C (lenguaje de programación) , Unix
- Ron Rivest – RSA , MD5 , RC4
- Ken Robinson – métodos formales
- Colette Rolland – Metodología REMORA, metamodelado
- John Romero – co-desarrolló Doom
- Azriel Rosenfeld
- Douglas T. Ross – Herramientas programadas automáticamente ( APT ), diseño asistido por computadora , técnicas de análisis y diseño estructurado , ALGOL X
- Guido van Rossum – Python (lenguaje de programación)
- MA Rothman – UEFI
- Winston W. Royce – modelo de cascada
- Rudy Rucker – matemático, escritor, educador
- Steven Rudich – teoría de la complejidad, criptografía
- Jeff Rulifson
- James Rumbaugh – Lenguaje de modelado unificado , Object Management Group
- Peter Ružička - informático y matemático eslovaco
S
- Jorge Sadowsky
- Mehrnoosh Sadrzadeh : modelos compositivos de significado, aprendizaje automático
- Omar Saif
- Gerard Salton – recuperación de información
- Jean E. Sammet - lenguajes de programación
- Claude Sammut – investigador de inteligencia artificial
- Carl Sassenrath – sistemas operativos , lenguajes de programación , Amiga , REBOL
- Mahadev Satyanarayanan – sistemas de archivos , sistemas distribuidos , computación móvil , computación generalizada
- Walter Savitch – descubrimiento de la clase de complejidad NL , teorema de Savitch , procesamiento del lenguaje natural , lingüística matemática
- Nitin Saxena – Prueba de primalidad AKS para pruebas de primalidad en tiempo polinomial , teoría de complejidad computacional
- Jonathan Schaeffer
- Wilhelm Schickard – una de las primeras máquinas calculadoras
- Jürgen Schmidhuber – inteligencia artificial, aprendizaje profundo, redes neuronales artificiales, redes neuronales recurrentes , máquina de Gödel , curiosidad artificial, metaaprendizaje
- Steve Schneider – métodos formales , seguridad
- Bruce Schneier – criptografía, seguridad
- Fred B. Schneider : computación concurrente y distribuida
- Sarita Schoenebeck – Interacción entre humanos y computadoras
- Glenda Schroeder – línea de comandos, correo electrónico
- Bernhard Schölkopf : aprendizaje automático, inteligencia artificial
- Dana Scott – teoría de dominios
- Michael L. Scott – lenguajes de programación , algoritmos , computación distribuida
- Robert Sedgewick – algoritmos, estructuras de datos
- Ravi Sethi – compiladores, 2º Libro del Dragón
- Nigel Shadbolt
- Adi Shamir – RSA , criptoanálisis
- Claude Shannon – teoría de la información
- David E. Shaw – finanzas computacionales, bioquímica computacional, arquitecturas paralelas
- Cliff Shaw – programador de sistemas, inteligencia artificial
- Scott Shenker – redes sociales
- Shashi Shekhar – computación espacial
- Ben Shneiderman – interacción hombre-computadora , visualización de información
- Edward H. Shortliffe – MYCIN (sistema experto de diagnóstico médico)
- Daniel Siewiorek – automatización de diseño electrónico , computación de confiabilidad , computación móvil sensible al contexto , computación portátil , diseño asistido por computadora , creación rápida de prototipos , tolerancia a fallas
- Joseph Sifakis – comprobación de modelos
- Herbert A. Simon – inteligencia artificial
- Munindar P. Singh – sistemas multiagente , ingeniería de software , inteligencia artificial, redes sociales
- Ramesh Sitaraman : ayudó a construir la red de alto rendimiento de Akamai
- Daniel Sleator – árbol de expansión , análisis amortizado
- Aaron Sloman – inteligencia artificial y ciencia cognitiva
- Arne Sølvberg – modelado de información
- Brian Cantwell Smith – Programación reflexiva , 3lisp
- David Canfield Smith : inventó los íconos de interfaz , programó por demostración , desarrolló la interfaz gráfica de usuario , Xerox Star ; investigador de Xerox PARC , cofundó Dest Systems, Cognition
- Steven Spewak – planificación de la arquitectura empresarial
- Carol Spradling
- Robert Sproull
- Rohini Kesavan Srihari : recuperación de información , análisis de texto, minería de texto multilingüe
- Sargur Srihari – reconocimiento de patrones , aprendizaje automático , criminología computacional , CEDAR-FOX
- Maciej Stachowiak – GNOME , Safari , WebKit
- Richard Stallman (nacido en 1953) – Proyecto GNU
- Ronald Stamper
- Thad Starner
- Richard E. Stearns – teoría de la complejidad computacional
- Guy L. Steele, Jr. – Esquema , Common Lisp
- Thomas Sterling – creador de los grupos de Beowulf
- Alexander Stepanov – programación genérica
- W. Richard Stevens (1951–1999): autor de libros como TCP/IP Illustrated y Advanced Programming in the Unix Environment
- Larry Stockmeyer : complejidad computacional, computación distribuida
- Salvatore Stolfo – seguridad informática, aprendizaje automático
- Michael Stonebraker : teoría y práctica de bases de datos relacionales
- Olaf Storaasli – máquina de elementos finitos , álgebra lineal , computación de alto rendimiento
- Christopher Strachey – semántica denotacional
- Volker Strassen – multiplicación de matrices , multiplicación de enteros , prueba de primalidad de Solovay-Strassen
- Bjarne Stroustrup – C++
- Madhu Sudan – teoría de la complejidad computacional , teoría de la codificación
- Gerald Jay Sussman – Esquema
- Bert Sutherland – gráficos , Internet
- Ivan Sutherland – gráficos
- Latanya Sweeney : privacidad de datos y equidad algorítmica
- Mario Szegedy – teoría de la complejidad , computación cuántica
yo
- Parisa Tabriz – Directora de Ingeniería de Google, también conocida como la Princesa de la Seguridad
- Roberto Tamassia – geometría computacional , seguridad informática
- Andrew S. Tanenbaum – sistemas operativos , MINIX
- Austin Tate – Aplicaciones de inteligencia artificial , planificación de IA , mundos virtuales
- Bernhard Thalheim – fundamentos del modelado conceptual
- Eva Tardos
- Gábor Tardos
- Robert Tarjan – árbol de hojas caídas
- Valerie Taylor
- Mario Tchou – Ingeniero italiano, de ascendencia china, líder del proyecto Olivetti Elea
- Jaime Teevan
- Shang-Hua Teng – análisis de algoritmos
- Larry Tesler – interacción hombre-computadora, interfaz gráfica de usuario, Apple Macintosh
- Avie Tevanian – Equipo del kernel Mach, NeXT, Mac OS X
- Charles P. Thacker – Xerox Alto , Investigación de Microsoft
- Daniel Thalmann – gráficos por ordenador , actor virtual
- Ken Thompson – diseñó y creó principalmente los sistemas operativos Unix , Plan 9 e Inferno , los lenguajes B y Bon (precursores de C ), creó la codificación de caracteres UTF-8 , introdujo expresiones regulares en QED , fue coautor del lenguaje Go
- Simon Thompson – investigación en programación funcional , libros de texto; lenguajes específicos del dominio Cardano : Marlowe
- Sebastian Thrun – Investigador de IA, pionero en la conducción autónoma
- Walter F. Tichy – RCS
- Seinosuke Toda – Complejidad computacional, ganador del Premio Gödel en 1998
- Chai Keong Toh : pionero de las redes móviles ad hoc
- Linus Torvalds – Núcleo Linux , Git
- Leonardo Torres Quevedo (1852–1936) – inventó El Ajedrecista ( el jugador de ajedrez ) en 1912, un verdadero autómata construido para jugar al ajedrez sin guía humana. En su obra Ensayos sobre la automática (1913), introdujo la idea de la aritmética de punto flotante . En 1920, construyó un dispositivo electromecánico temprano, la máquina analítica .
- Godfried Toussaint – geometría computacional, teoría musical computacional
- Gloria Townsend
- Edwin E. Tozer – sistemas de información empresarial
- Joseph F Traub – La complejidad computacional de los problemas científicos
- John V. Tucker – teoría de la computabilidad
- John Tukey : fundador del algoritmo FFT , el diagrama de caja , el análisis exploratorio de datos y acuñador del término "bit"
- Alan Turing (1912-1954): pionero de la informática británica, máquina de Turing , algoritmos , criptología, arquitectura informática
- David Turner – SASL , Calculadora recursiva Kent , Miranda , miembro del grupo de trabajo 2.1 de IFIP
- Murray Turoff – comunicación mediada por computadora
tú
V
- Leslie Valiant – teoría de la complejidad computacional , teoría del aprendizaje computacional
- Vladimir Vapnik – reconocimiento de patrones , teoría del aprendizaje computacional
- Moshe Vardi – profesor de informática en la Universidad Rice
- Dorothy Vaughan
- Bernard Vauquois : pionero de la informática en Francia , teoría y práctica de la traducción automática (TA), incluido el triángulo de Vauquois , ALGOL 60
- Umesh Vazirani
- Manuela M. Veloso
- François Vernadat – modelado empresarial
- Richard Veryard – modelado empresarial
- Sergiy Vilkomir – Pruebas de software , RC/DC
- Paul Vitanyi – Complejidad de Kolmogorov , Distancia de información , Distancia de compresión normalizada , Distancia de Google normalizada
- Andrew Viterbi – Algoritmo de Viterbi
- Jeffrey Scott Vitter : algoritmos de memoria externa , estructuras de datos comprimidos , compresión de datos , bases de datos
- Paul Vixie – DNS , BIND , PAIX , Consorcio de software de Internet , MAPS, DNSBL
Yo
- Eiiti Wada – ALGOL N , miembro de IFIP WG 2.1 , estándares industriales japoneses (JIS) X 0208, 0212, Happy Hacking Keyboard
- David Wagner – seguridad, criptografía
- David Vals
- James Z. Wang
- Steve Ward
- Manfred K. Warmuth – teoría del aprendizaje computacional
- David HD Warren – IA , programación lógica , Prolog , Warren Abstract Machine (WAM)
- Kevin Warwick – inteligencia artificial
- Jan Weglarz
- Philip Wadler – programación funcional , Haskell , Monad , Java , lógica
- Peter Wegner – Programación orientada a objetos , interacción (informática)
- Joseph Henry Wegstein – ALGOL 58 , ALGOL 60 , miembro del IFIP WG 2.1 , estándares técnicos de procesamiento de datos , análisis de huellas dactilares
- Peter J. Weinberger : diseño de lenguajes de programación, la 'w' en AWK
- Mark Weiser – Computación ubicua
- Joseph Weizenbaum – inteligencia artificial, ELIZA
- David Wheeler – EDSAC, subrutinas
- Franklin H. Westervelt – uso de computadoras en la educación en ingeniería, uso conversacional de computadoras, Michigan Terminal System (MTS), ARPANET , aprendizaje a distancia
- Steve Whittaker – interacción hombre-computadora , soporte informático para trabajo cooperativo, redes sociales
- Jennifer Widom – Gestión de datos no tradicionales
- Gio Wiederhold – sistemas de gestión de bases de datos
- Norbert Wiener – Cibernética
- Adriaan van Wijngaarden – pionero holandés; ARRA, ALGOL , miembro del IFIP WG 2.1
- Mary Allen Wilkes – Desarrolladora de LINC , diseñadora de ensambladores y enlazadores
- Maurice Vincent Wilkes – microprogramación, EDSAC
- Yorick Wilks – lingüística computacional , inteligencia artificial
- James H. Wilkinson – análisis numérico
- Sophie Wilson – Arquitectura ARM
- Shmuel Winograd – Algoritmo de Coppersmith–Winograd
- Terry Winograd – inteligencia artificial, SHRDLU
- Patrick Winston – inteligencia artificial
- Niklaus Wirth – ALGOL W , miembro del grupo de trabajo 2.1 de IFIP , Pascal , Modula , Oberon
- Neil Wiseman – gráficos por computadora
- Dennis E. Wisnosky – Fabricación asistida por computadora integrada (ICAM), IDEF
- Stephen Wolfram – Matemática
- Mike Woodger – Piloto ACE , ALGOL 60 , Ada (lenguaje de programación)
- Philip Woodward – función de ambigüedad , función sinc , operador comb, operador rep , ALGOL 68-R
- Beatrice Helen Worsley – escribió la primera tesis doctoral relacionada con las computadoras modernas; fue una de las personas que escribió Transcode
- Steve Wozniak diseñó la primera generación de computadoras personales en Apple Computer
- Jie Wu – redes de computadoras
- William Wulf – Lenguaje de programación del sistema BLISS + compilador optimizador , sistema operativo Hydra , Tartan Laboratories
Y
O
Véase también
Referencias
Enlaces externos
Wikimedia Commons tiene medios relacionados con Científicos informáticos .
- Lista de CiteSeer de los autores más citados en informática
- Científicos informáticos con índice h >= 40
