Lista de informáticos

format_list_bulleted Contenido keyboard_arrow_down
ImprimirCitar

Esta es una lista de informáticos, personas que trabajan en informática, en particular investigadores y autores.

Algunas personas destacadas como programadores se incluyen aquí porque trabajan tanto en investigación como en programación. Algunas de estas personas son anteriores a la invención de la computadora digital; ahora se les considera científicos informáticos porque se puede considerar que su trabajo condujo a la invención de la computadora. Otros son matemáticos cuyo trabajo se enmarca en lo que ahora se llamaría informática teórica, como la teoría de la complejidad y la teoría algorítmica de la información.

A

  • Atta ur Rehman Khan – Mobile Cloud Computing, Cybersecurity, IoT
  • Wil van der Aalst – gestión de procesos empresariales, minería de procesos, redes Petri
  • Scott Aaronson – teoría cuántica de computación y complejidad
  • Rediet Abebe – algoritmos, inteligencia artificial
  • Hal Abelson – intersección de computación y enseñanza
  • Serge Abiteboul – teoría de la base de datos
  • Samson Abramsky – juego semántico
  • Leonard Adleman – RSA, computación de ADN
  • Manindra Agrawal – prueba de primalidad polinomial
  • Luis von Ahn - cálculo humano
  • Alfred Aho – libro de compiladores, el 'a' en AWK
  • Frances E. Allen – optimización del compilador
  • Gene Amdahl – supercomputer developer, Amdahl Corporation fundador
  • David P. Anderson – computación voluntaria
  • Lisa Anthony – interfaces de usuario naturales
  • Andrew Appel – compilador de libros de texto
  • Cecilia R. Aragón – inventada trepación, ciencia de datos centrada en el ser humano
  • Bruce Arden – compiladores de lenguaje de programación (GAT, Michigan Algorithm Decoder (MAD)), arquitectura de memoria virtual, Michigan Terminal System (MTS)
  • Sanjeev Arora – PCP theorem
  • Winifred "Tim" Alice Asprey – estableció el plan de estudios de informática en Vassar College
  • John Vincent Atanasoff – pionero de la computadora, creador de Atanasoff Berry Computer (ABC)
  • Shakuntala Atre – teoría de la base de datos

B

  • Charles Babbage (1791–1871) – inventó el primer ordenador mecánico llamado el matemático supremo
  • Charles Bachman – American computer scientific, conocido por Integrated Data Store
  • Roland Carl Backhouse – matemáticas de la construcción de programas informáticos, solución de problemas algorítmicos, ALGOL
  • John Backus – FORTRAN, Backus–Naur, primer compilador completo
  • David F. Bacon – lenguajes de programación, colección de basura
  • David A. Bader
  • Victor Bahl
  • Anthony James Barr – SAS Sistema
  • Jean Bartik (1924-2011) – uno de los primeros programadores informáticos, en ENIAC (1946), uno de los primeros equipos de tubos Vacuum, cuando "programación" implicaba el uso de cables, diales y conmutadores para re-wire físicamente la máquina; trabajó con John Mauchly hacia BINAC (1949), EDVAC (1949), UNIVAC (1951) para desarrollar computadoras de "programa restaurado" temprano
  • Andrew Barto
  • Friedrich L. Bauer – Stack (estructura de datos), Traducción secuencial de la Fórmula, ALGOL, ingeniería de software, Bauer-Fike theorem
  • Rudolf Bayer – B-tree
  • Gordon Bell (nacido 1934) – diseñador de computadoras DEC VAX, autor: Estructuras informáticas
  • Steven M. Bellovin – seguridad de la red
  • Cecilia Berdichevsky (1925–2010) pionera científica argentina
  • Tim Berners-Lee – World Wide Web
  • Daniel J. Bernstein – qmail, software como discurso protegido
  • Peter Bernus
  • Abhay Bhushan
  • Dines Bjørner – Vienna Development Method (VDM), RAISE
  • Gerrit Blaauw – uno de los principales diseñadores de la línea IBM System 360 de ordenadores
  • Sue Black
  • David Blei
  • Dorothy Blum – Agencia Nacional de Seguridad
  • Lenore Blum – complejidad
  • Manuel Blum – criptografía
  • Barry Boehm – economía de ingeniería de software, desarrollo espiral
  • Corrado Böhm – autor del teorema del programa estructurado
  • Kurt Bollacker
  • Jeff Bonwick – inventó la asignación de losas y ZFS
  • Grady Booch – Unified Modeling Language, Object Management Group
  • George Boole – lógica booleana
  • Andrew Booth – desarrolló el primer dispositivo de almacenamiento de tambor giratorio
  • Kathleen Booth – desarrolló el primer lenguaje de montaje
  • Anita Borg (1949–2003) – American computer scientific, fundadora del Instituto Anita Borg para la Mujer y la Tecnología
  • Bert Bos – Cascading Style Sheets
  • Mikhail Botvinnik – Campeón Mundial del Ajedrez, científico informático e ingeniero eléctrico, sistema pionero de expertos temprana AI y ajedrez de computadora
  • Jonathan Bowen – notación Z, métodos formales
  • Stephen R. Bourne – Bourne shell, compilador portátil ALGOL 68C
  • Harry Bouwman (nacido 1953) – investigador de sistemas de información holandés, y profesor en la Universidad Åbo Akademi
  • Robert S. Boyer – búsqueda de cuerdas, ACL2 teorem prover
  • Karlheinz Brandenburg – Colaborador principal mp3
  • Lawrence M. Breed – implementación de Iverson Notation (APL), co-desarrollado APL360, Scientific Time Sharing Corporation cofundador
  • Jack E. Bresenham – contribuciones tempranas de la computación, incluyendo el algoritmo de Bresenham
  • Sergey Brin – cofundador de Google
  • David J. Brown – arquitectura de memoria unificada, compatibilidad binaria
  • Per Brinch Hansen (nombre "Brinch Hansen") – RC 4000 sistema de multiprogramación, núcleos del sistema operativo, microcarneles, monitores, programación concurrente, Pascal simultáneo, procesos de computación distribuida, computación paralela
  • Sjaak Brinkkemper – metodología de desarrollo de software de producto
  • Fred Brooks – System 360, OS/360, El Hombre-Mes Místico, No hay balas de plata
  • Rod Brooks
  • Margaret Burnett – lenguajes de programación visual, ingeniería de software de usuario final y software integrado por género
  • Michael Butler – Event-B

C

  • Campamento Tracy – computación inalámbrica
  • Martin Campbell-Kelly – historia de la computación
  • Rosemary Candlin
  • Rod Canion - cofundador de Compaq Computer Corporation
  • Bryan Cantrill – inventó DTrace
  • Luca Cardelli –
  • John Carmack – codificado Doom
  • Edwin Catmull – gráficos informáticos
  • Vint Cerf – Internet, TCP/IP
  • Gregory Chaitin
  • Robert Cailliau – Bélgica
  • Zhou Chaochen – cálculo de duración
  • Peter Chen – modelo de relación de entidad, modelado de datos, modelo conceptual
  • Leonardo Chiariglione – fundador de MPEG
  • Tracy Chou – científico informático y activista
  • Iglesia de Alonzo – matemáticas de combinadores, cálculo de lambda
  • Alberto Ciaramella – reconocimiento de discursos, informática de patentes
  • Edmund M. Clarke – prueba modelo
  • John Cocke – RISC
  • Edgar F. Codd (1923–2003) – formuló el modelo relacional de la base de datos
  • Jacques Cohen – profesor de informática
  • Ian Coldwater – seguridad informática
  • Simon Colton – creatividad computacional
  • Alain Colmerauer – Prolog
  • Douglas Comer – Xinu
  • Paul Justin Compton – Ripple Down Rules
  • Richard W. Conway – CORC, CUPL y PL/C idiomas y dialectos; programación de libros de texto
  • Gordon Cormack – combinación de compresión dinámica Markov
  • Stephen Cook – NP-completeness
  • James Cooley – Fast Fourier transform (FFT)
  • Danese Cooper – software de código abierto
  • Fernando J. Corbató – Sistema compatible de intercambio de tiempo (CTSS), Multics
  • Kit Cosper – software de código abierto
  • Patrick Cousot – interpretación abstracta
  • Ingemar Cox – marcación de agua digital
  • Seymour Cray – Cray Research, supercomputer
  • Nello Cristianini – aprendizaje automático, análisis de patrones, inteligencia artificial
  • Jon Crowcroft – networking
  • W. Bruce Croft
  • Glen Culler – computación interactiva, gráficos informáticos, computación de alto rendimiento
  • Haskell Curry

D

  • Luigi Dadda – diseñador del multiplicador de Dadda
  • Ole-Johan Dahl – Simula, programación orientada a objetos
  • Ryan Dahl – fundador del proyecto node.js
  • Andries van Dam – gráficos informáticos, hipertexto
  • Samir Das – Wireless Networks, Mobile Computing, Vehicular ad hoc network, Sensor Networks, Mesh networking, Wireless ad hoc network
  • Neil Daswani – seguridad informática, cofundador y codirector de Stanford Advanced Computer Security Program, cofundador de Dasient (preguntado por Twitter), ex jefe de seguridad de la información de LifeLock y la Unidad de Consumo de Symantec
  • Christopher J. Date – proponente del modelo relacional de bases de datos
  • Jeff Dean – Bigtable, MapReduce, Spanner de Google
  • Erik Demaine – origami computacional
  • Tom DeMarco
  • Richard DeMillo – seguridad informática, ingeniería de software, tecnología educativa
  • Dorothy E. Denning – seguridad informática
  • Peter J. Denning – identificó el uso de un sistema operativo conjunto de trabajo y equilibrio, presidente de ACM
  • Michael Dertouzos – Director del Massachusetts Institute of Technology (MIT) Laboratory for Computer Science (LCS) de 1974 a 2001
  • Alexander Dewdney
  • Robert Dewar – IFIP WG 2.1 miembro, ALGOL 68, presidente; Ada Core cofounder, presidente, CEO
  • Vinod Dham – P5 Pentium processor
  • Jan Dietz (nacido en 1945) – teoría de sistemas de información y Diseño e ingeniería Metodología para las Organizaciones
  • Whitfield Diffie (nacido en 1944) (función de respuesta lineal) – criptografía de clave pública, intercambio clave Diffie-Hellman
  • Edsger Dijkstra – algoritmos, algoritmo de Dijkstra, Ir a declaración Considerado Harmful, semaphore (programación), miembro de IFIP WG 2.1
  • Matthew Dillon – DragonFly BSD con LWKT, virtualización a nivel de vkernel OS, sistemas de archivos: HAMMER1, HAMMER2
  • Alan Dix – escribió importante libro de texto de nivel universitario sobre interacción humana-computadora
  • Jack Dongarra – álgebra lineal computación de alto rendimiento (HCI)
  • Marco Dorigo – optimización de la colonia de hormigas
  • Paul Dourish – interacción informática humana
  • Charles Stark Draper (1901-1987) – diseñador de Apollo Guidance Computer, "padre de navegación inercial", profesor del MIT
  • Susan Dumais – recuperación de información
  • Adam Dunkels – Contiki, lwIP, uIP, prototreads
  • Jon Michael Dunn – fundador dean de Indiana University School of Informatics, lógicas basadas en la información, lógica especialmente relevante
  • Schahram Dustdar – Sistemas Distribuidos, TU Wien, Austria

E

  • Peter Eades – dibujo gráfico
  • Annie Easley
  • Wim Ebbinkhuijsen – COBOL
  • John Presper Eckert – ENIAC
  • Alan Edelman – Edelman's Law, operador estástico, Supercomputación Interactiva, cocreador Julia (lengua programada), computación de alto rendimiento, computación numérica
  • Brendan Eich – JavaScript, Mozilla
  • Philip Emeagwali – supercomputación
  • E. Allen Emerson – comprobación de modelos
  • Douglas Engelbart – ventanas de baldosas, hipertexto, ratón de computadora
  • Barbara Engelhardt – modelos variables latentes, genómica, locus cuantitativo (QTL)
  • David Eppstein
  • Andrey Ershov – idiomas ALPHA, Rapira; primer sistema soviético de distribución de tiempo AIST-0, sistema electrónico de publicación RUBIN, estación de trabajo multiprocesamiento MRAMOR, IFIP WG 2.1 miembro, Estética y Factor Humano en Programación
  • Don Estridge (1937-1985) – desarrollo de IBM Personal Computer original (PC); conocido como "padre del PC IBM"
  • Oren Etzioni – MetaCrawler, Netbot
  • Christopher Riche Evans
  • David C. Evans – gráficos informáticos
  • Shimon Incluso

F

  • Scott Fahlman
  • Edward Feigenbaum – inteligencia
  • Edward Felten – seguridad informática
  • Tim Finin
  • Raphael Finkel
  • Donald Firesmith
  • Gary William Flake
  • Tommy Flowers – Colossus computer
  • Robert Floyd – NP-completeness
  • Sally Floyd – control de la congestión de Internet
  • Lawrence J. Fogel – programación evolutiva
  • James D. Foley
  • Ken Forbus
  • L. R. Ford, Jr.
  • Lance Fortnow
  • Mahmoud Samir Fayed – PWCT, Ring
  • Martin Fowler
  • Robert France
  • Herbert W. Franke
  • Edward Fredkin
  • Yoav Freund
  • Daniel P. Friedman
  • Charlotte Froese Fischer – física teórica computacional
  • Ping Fu
  • Xiaoming Fu
  • Kunihiko Fukushima – neocognitron, redes neuronales artificiales, arquitectura de red neuronal convolutiva, aprendizaje no supervisado, aprendizaje profundo
  • D. R. Fulkerson

G

  • Richard P. Gabriel – Maclisp, Common Lisp, Worse is Better, League for Programming Freedom, Lucid Inc., XEmacs
  • Zvi Galil
  • Bernard Galler – MAD (lengua de programación)
  • Héctor García-Molina
  • Michael Garey – NP-completeness
  • Hugo de Garis
  • Bill Gates – cofundador de Microsoft
  • David Gelernter
  • Lisa Gelobter – fue la directora de servicio digital 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 – cómputo centrado en el ser humano
  • Lee Giles – CiteSeer
  • Seymour Ginsburg – idiomas formales, teoría de la automata, teoría de la AFL, teoría de la base de datos
  • Robert L. Glass
  • Kurt Gödel – computabilidad; no un científico informático per se, pero su trabajo era invaluable en el campo
  • Ashok Goel
  • Joseph Goguen
  • Hardik Gohel
  • E. Mark Gold – Identificación de idiomas en el límite
  • Adele Goldberg – Smalltalk
  • Andrew V. Goldberg – algoritmos, ingeniería de algoritmos
  • Ian Goldberg – criptógrafo, mensajería fuera de la grabación
  • Judy Goldsmith - teoría de la complejidad computacional, teoría de decisiones y ética informática
  • Oded Goldreich – criptografía, teoría de complejidad computacional
  • Shafi Goldwasser – criptografía, teoría de complejidad computacional
  • Gene Golub – Matrix computation
  • Martin Charles Golumbic – teoría del gráfico algorítmico
  • Gastón Gonnet – cofundador de Waterloo Maple Inc.
  • Ian Goodfellow – machine learning
  • James Gosling – Red Extensible Window System (NeWS), Java
  • Paul Graham – Viaweb, On Lisp, Arc
  • Robert M. Graham – compiladores de lenguaje 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 Greibach, Familia abstracta de idiomas (AFL) teoría
  • David Gries – La ciencia de la programación, Libertad de Interferencia, Miembro emérito, IFIP WG 2.3 sobre Metodología de Programación
  • Ralph Griswold – SNOBOL
  • Bill Gropp – Interfaz de Pasaje de Mensajes, Herramienta portátil y extensible para la Computación Científica (PETSc)
  • Tom Gruber – ingeniería de ontología
  • Shelia Guberman – reconocimiento de escritura
  • Ramanathan V. Guha – Descripción de recursos Marco (RDF), Netscape, RSS, Epinions
  • Neil J. Gunther – análisis de rendimiento informático, planificación de la capacidad
  • Jürg Gutknecht – con Niklaus Wirth: Lilith computer; Modula-2, Oberon, Zonnon programación idiomas; Oberon sistema operativo
  • Michael Guy – Phoenix, trabajar en la teoría de números, álgebra de computación, teoría de polihedra de dimensión superior; con John Horton Conway
  • Robert Griesemer – Go language

H

  • Nico Habermann – trabajo en sistemas operativos, ingeniería de software, comunicación entre procesos, sincronización de procesos, evitació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 – Apollo Guidance Computer
  • Wendy Hall
  • Joseph Halpern
  • Margaret Hamilton – diseño de software ultra fiable
  • Richard Hamming – Código Hamming, fundador de la Asociación para la Maquinaria de Computación
  • Jiawei Han – minería de datos
  • Frank Harary – teoría del gráfico
  • Juris Hartmanis – teoría de la complejidad computacional
  • Johan Håstad – teoría de la complejidad computacional
  • Les Hatton – fallo del software y vulnerabilidades
  • Igor Hawryszkiewycz, (nacido en 1948) – American computer scientific and organizational theorist
  • Él Jifeng – sistemas provablemente correctos
  • Eric Hehner – programación predicativa, métodos formales, notación de citas, ALGOL
  • Martin Hellman – cifrado
  • Gernot Heiser – sistema operativo de enseñanza, investigación, comercialización, Laboratorios de Kernel Abierto, OKL4, Wombat
  • James Hendler – Semántica Web
  • John L. Hennessy – arquitectura informática
  • Andrew Herbert
  • Carl Hewitt
  • Kelsey Hightower – fuente abierta, cloud computing
  • Danny Hillis – Máquina de conexión
  • Geoffrey Hinton
  • Julia Hirschberg
  • Tin Kam Ho – inteligencia artificial, aprendizaje automático
  • C. A. R. Hoare – lógica, rigor, comunicación de procesos secuenciales (CSP)
  • Louis Hodes (1934–2008) – Lisp, reconocimiento de patrones, programación lógica, investigación sobre cáncer
  • Betty Holberton – programador de ENIAC, desarrolló el primer Generador de Combinación
  • John Henry Holland – algoritmos genéticos
  • Herman Hollerith (1860-1929) – inventó la grabación de datos en un medio legible de máquina, usando tarjetas puntiagudas
  • Gerard Holzmann – verificación del software, comprobación del modelo lógico (SPIN)
  • John Hopcroft – compiladores
  • Almirante Grace Hopper (1906–1992) – desarrolló compiladores tempranos: FLOW-Matic, COBOL; trabajó en UNIVAC; dio discursos sobre la historia de la computadora, donde dio nano-segundos
  • Eric Horvitz – inteligencia artificial
  • Alston Householder
  • Paul Hudak (1952–2015) – Haskell language design
  • David A. Huffman (1925-1999) – Codificación Huffman, utilizado en compresión de datos
  • John Hughes – estructurando computaciones con flechas; marco de prueba de programa aleatorizado QuickCheck; Diseño de lenguaje Haskell
  • Roger Hui – lenguaje J co-creado
  • Watts Humphrey (1927–2010) – Proceso de Software Personal (PSP), Calidad de software, Proceso de Software de Equipo (TSP)

Yo

  • Jean Ichbiah – Ada
  • Roberto Ierusalimschy – Lua (lengua programada)
  • Dan Ingalls – Smalltalk, BitBlt, Kernel Lively
  • Mary Jane Irwin
  • Kenneth E. Iverson – APL, J

J

  • Ivar Jacobson – Unified Modeling Language, Object Management Group
  • Anil K. Jain (nacido en 1948)
  • Ramesh Jain
  • Jonathan James
  • David S. Johnson
  • Stephen C. Johnson
  • Cliff Jones – Vienna Development Method (VDM)
  • Michael I. Jordan
  • Mathai Joseph
  • Aravind K. Joshi
  • Bill Joy (nacido en 1954) – Sun Microsystems, BSD UNIX, vi, csh
  • Dan Jurafsky – procesamiento de lenguaje natural

K

  • William Kahan – análisis numérico
  • Robert E. Kahn – TCP/IP
  • Avinash Kak – procesamiento digital de imágenes
  • Poul-Henning Kamp – inventado GBDE, FreeBSD Las uñas, Caché de barniz
  • David Karger
  • Richard Karp – NP-completeness
  • Narendra Karmarkar – algoritmo de Karmarkar
  • Marek Karpinski – problemas de optimización NP
  • Ted Kaehler – Smalltalk, Squeak, HyperCard
  • Alan Kay – Dynabook, Smalltalk, ventanas superpuestas
  • Neeraj Kayal – prueba de primalidad AKS
  • Manolis Kellis – biología computacional
  • John George Kemeny – el idioma BASIC
  • Ken Kennedy – compilación para máquinas paralelas y vectoriales
  • Brian Kernighan (nacido en 1942) – Unix, el 'k' en AWK
  • Carl Kesselman – computación de red
  • Gregor Kiczales – CLOS, reflexión, programación orientada a aspectos
  • Peter T. Kirstein – Internet
  • Stephen Cole Kleene – Cierre de Kleene, teoría de la recursión
  • Dan Klein – Procesamiento de lenguaje natural, Traducción automática
  • Leonard Kleinrock – ARPANET, teoría de cola, cambio de paquete, enrutamiento jerárquico
  • Donald Knuth – El arte de la programación informática, MIX/MMIX, TeX, programación alfabetizada
  • Andrew Koenig – C++
  • Daphne Koller – Inteligencia artificial, red bayesiana
  • Michael Kölling – BlueJ
  • Andrey Nikolaevich Kolmogorov – teoría de la complejidad algoritmo
  • Janet L. Kolodner – razonamiento basado en casos
  • David Korn – KornShell
  • Kees Koster – ALGOL 68
  • Robert Kowalski – programación lógica
  • John Koza – programación genética
  • John Krogstie – Marco SEQUAL
  • Joseph Kruskal – algoritmo de Kruskal
  • Maarja Kruusmaa – robótica submarina
  • Thomas E. Kurtz (nacido 1928) – BASIC lenguaje de programación; Dartmouth College profesor de computación

L

  • Richard E. Ladner
  • Monica S. Lam
  • Leslie Lamport – algoritmos para computación distribuida, LaTeX
  • Butler Lampson – SDS 940, miembro fundador Xerox PARC, Xerox Alto, Premio Turing
  • Peter Landin – ISWIM, J operador, SECD machine, off-side rule, syntactic sugar, ALGOL, IFIP WG 2.1 member, advanced lambda calculus to model programming languages (aided functional programming), denotational semantics
  • Tom Lane – Independent JPEG Group, PostgreSQL, Portable Network Graphics (PNG)
  • Börje Langefors
  • Chris Lattner – creador de Swift (lengua de programación) y LLVM compilador de infraestructura
  • Steve Lawrence
  • Edward D. Lazowska
  • Joshua Lederberg
  • Manny M Lehman
  • Charles E. Leiserson – algoritmos cache-oblivious, provablemente buen trabajo-stealing, coautor de Introducción a algoritmos
  • Douglas Lenat – inteligencia artificial, Cyc
  • Yann LeCun
  • Rasmus Lerdorf – PHP
  • Max Levchin – prueba Gausebeck–Levchin y PayPal
  • Leonid Levin – teoría de la complejidad computacional
  • Kevin Leyton-Brown – inteligencia artificial
  • J.C.R. Licklider
  • David Liddle
  • Jochen Liedtke – sistemas operativos de microcarne Eumel, L3, L4
  • John Lions – Comentarios de los Leones sobre UNIX 6th Edition, con Código Fuente (Libro de los iones)
  • Charles H. Lindsey – IFIP WG 2.1 miembro, 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 de IFIP WG 2.1
  • Darrell Long – almacenamiento de datos de computadora, seguridad informática
  • Patricia D. López – ampliando la participación en la informática
  • Gillian Lovegrove
  • Ada Lovelace – primer programador
  • David Luckham – Lisp, Teorema automatizado, Stanford Pascal Verifier, Complejo proceso de eventos, Cofundador de Software Racional (Ada compilador)
  • Eugene Luks
  • Nancy Lynch

M

  • Nadia Magnenat Thalmann – gráficos informáticos, actor virtual
  • Tom Maibaum
  • Zohar Manna – lógica borrosa
  • James Martin – ingeniería de información
  • Robert C. Martin (Uncle Bob) – manualidad de software
  • John Mashey
  • Yuri Matiyasevich – resolver el décimo problema de Hilbert
  • Yukihiro Matsumoto – Ruby (lengua programada)
  • John Mauchly (1907-1980) – diseñó ENIAC, primer ordenador digital electrónico de uso general, así como EDVAC, BINAC y UNIVAC I, el primer ordenador comercial; trabajó con Jean Bartik en ENIAC y Grace Murray Hopper en UNIVAC
  • Ujjwal Maulik (1965–) Multiobjetivo Clustering and Bioinformatics
  • Derek McAuley – computación omnipresente, arquitectura informática, networking
  • John McCarthy – Lisp (lengua 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, Berkeley Fast File System
  • Lambert Meertens – ALGOL 68, miembro del IFIP WG 2.1, ABC (lengua de programación)
  • Kurt Mehlhorn – algoritmos, estructuras de datos, LEDA
  • Dora Metcalf – empresario, ingeniero y matemático
  • Bertrand Meyer – Eiffel (lengua de programación)
  • Silvio Micali – criptografía
  • Robin Milner – ML (lengua de programación)
  • Jack Minker – lógica de la base de datos
  • Marvin Minsky – inteligencia artificial, perceptrones, Sociedad de la Mente
  • James G. Mitchell – WATFOR compilador, Mesa (lengua de programación), Primavera (sistema operativo), arquitectura ARM
  • Tom M. Mitchell
  • Arvind Mithal – verificación formal de grandes sistemas digitales, desarrollo de arquitecturas dinámicas de flujo de datos, lenguajes paralelos de programación informática (Id, pH), compilando en máquinas paralelas
  • Paul Mockapetris – Sistema de Nombre 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 – Lenguaje de Forth
  • Edward F. Moore – Máquina Moore
  • Gordon Moore – ley de Moore
  • J Strother Moore – búsqueda de cuerdas, ACL2 teorem prover
  • Roger Moore – codesarrollado APL360, creó IPSANET, cofundado I. P. Sharp Associates
  • Hans Moravec – robótica
  • Carroll Morgan – métodos formales
  • Robert Tappan Morris – gusano Morris
  • Joel Moses – Macsyma
  • Rajeev Motwani – algoritmo aleatorizado
  • Oleg A. Mukhanov – quantum computing developer, co-founder and CTO of SeeQC
  • Stephen Muggleton – Programación Lógica Inductiva
  • Klaus-Robert Müller – machine learning, inteligencia artificial
  • Alan Mycroft – lenguajes de programación
  • Brad A. Myers – interacción humana-computadora
  • M.M. Musharaf Hussain – Computación paralela y Procesador Multicore Superscalar

N

  • Mihai Nadin – investigación de anticipación
  • Makoto Nagao – traducción automática, procesamiento de idiomas naturales, biblioteca digital
  • Frieder Nake – pioneros en las artes informáticas
  • Bonnie Nardi – interacción humana-computer
  • Peter Naur (1928–2016) – Backus–Naur form (BNF), ALGOL 60, IFIP WG 2.1 member
  • Roger Needham – seguridad informática
  • James G. Nell – Arquitectura y Metodología de Referencia Empresarial Generalizada (GERAM)
  • Greg Nelson (1953–2015) – teorías de modulo de satisfiabilidad, comprobación estática extendida, verificación del programa, comité Modula-3, Simplificar theorem prover in ESC/Java
  • Bernard de Neumann – procesador celular autónomo masivamente paralelo, investigación de ingeniería de software
  • Klara Dan von Neumann (1911-1963) – ordenadores tempranos, programador y diseñador de control ENIAC
  • John von Neumann (1903-1957) – computadoras tempranas, máquina von Neumann, teoría de conjuntos, análisis funcional, pionero de matemáticas, programación lineal, mecánica cuántica
  • Allen Newell – inteligencia artificial, Estructuras informáticas
  • Max Newman – Colossus computer, MADM
  • Andrew Ng – inteligencia artificial, aprendizaje automático, robótica
  • Nils John Nilsson (1933–2019) – inteligencia artificial
  • G.M. Nijssen – Metodología de Análisis de Información de Nijssen (NIAM)
  • Tobias Nipkow – asistencia de prueba
  • Maurice Nivat – teórica informática, Theoretical Computer Science revista, ALGOL, IFIP WG 2.1 member
  • Phiwa Nkambule – Fintech, inteligencia artificial, aprendizaje automático, robótica
  • Jerre Noe – banca computarizada
  • 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 en Google
  • George Novacky – Universidad de Pittsburgh: subdirector de departamento, profesor senior en informática, asistente decano de CAS para estudios de grado
  • Kristen Nygaard – Simula, programación orientada al objeto

O

  • Martin Odersky – Scala lenguaje de programación
  • Peter O'Hearn – lógica de separación, lógica agrupada, Analizador Estatico Infer
  • T. William Olle – Ferranti Mercury
  • Steve Omohundro
  • Severo Ornstein
  • John O'Sullivan – Wi-Fi
  • John Ousterhout – Tcl lenguaje de programación
  • Mark Overmars – programación de videojuegos
  • Susan Owicki – libertad de interferencia

P

  • Larry Page – cofundador de Google
  • Sankar Pal
  • Paritosh Pandya
  • Christos Papadimitriou
  • David Park (1935-1990) – primera implementación de Lisp, experto en equidad, esquemas de programa, bisimulación en computación concurrente
  • David Parnas – ocultamiento 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 – equipo de instrucciones reducido (RISC), RISC-V, arrays redundantes de discos barato (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 humana-computadora, profesor Carnegie, "Última Conferencia"
  • Juan Pavón – agentes de software
  • Judea Pearl – inteligencia artificial, algoritmos de búsqueda
  • Alan Perlis – Programación de perlas
  • Radia Perlman – protocolo de arbolado
  • Pier Giorgio Perotto – diseñador de computadoras 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
  • Kathy Pham – datos, inteligencia artificial, tecnología cívica, salud, ética
  • Roberto Pieraccini – tecnólogo de habla, director de ingeniería en Google
  • Gordon Plotkin
  • Amir Pnueli – lógica temporal
  • Willem van der Poel – gráficos informáticos, robótica, sistemas de información geográfica, imágenes, multimedia, entornos virtuales, juegos
  • Cicely Popplewell (1920–1995) – Ingeniero de software británico en 1960s
  • 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 automata, transformaciones gráficas y sistemas concurrentes
  • Michael O. Rabin – máquina no determinista
  • Dragomir R. Radev – procesamiento de idiomas naturales, recuperación de información
  • T. V. Raman – accesibilidad, Emacspeak
  • Brian Randell – ALGOL 60, tolerancia a fallas de software, fiabilidad, historia previa a 1950 de hardware de computación
  • Anders P. Ravn – Duración del cálculo
  • Raj Reddy – inteligencia artificial
  • David P. Reed
  • Trygve Reenskaug – modelo–view–controller (MVC) patrón de arquitectura de software
  • John C. Reynolds – continuación, intérpretes de definición, desfuncionalización, Forsythe, Gedanken idioma, tipos de intersección, cálculo de lambda polimorfo, parametría relacional, lógica de separación, ALGOL
  • Joyce K. Reynolds – Internet
  • Reinder van de Riet – Editor: Europa de Ingeniería de Datos y Conocimientos, COLOR-X lenguaje de modelado de eventos
  • Bernard Richards – informática médica
  • Martin Richards – BCPL
  • Adam Riese
  • C. J. van Rijsbergen
  • Dennis Ritchie – C (lengua de programación), Unix
  • Ron Rivest – RSA, MD5, RC4
  • Ken Robinson – métodos formales
  • Colette Rolland – metodología REMORA, meta modelado
  • John Romero – Doom codificado
  • Azriel Rosenfeld
  • Douglas T. Ross – Herramientas programadas automáticamente (APT), Diseño asistido por computadora, análisis estructurado y técnica de diseño, ALGOL X
  • Guido van Rossum – Python (lengua programada)
  • M. A. 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 – Unified Modeling Language, Object Management Group
  • Peter Ružička – Eslovaco científico y matemático

S

  • George Sadowsky
  • Umar 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 de lenguaje natural, lingüística matemática
  • Jonathan Schaeffer
  • Wilhelm Schickard – una de las primeras máquinas de cálculo
  • Jürgen Schmidhuber – inteligencia artificial, aprendizaje profundo, redes neuronales artificiales, redes neuronales recurrentes, máquina Gödel, curiosidad artificial, meta-aprendizaje
  • Steve Schneider – métodos formales, seguridad
  • Bruce Schneier – criptografía, seguridad
  • Fred B. Schneider – computación simultánea y distribuida
  • Sarita Schoenebeck — interacción humana-computer
  • Glenda Schroeder – shell de línea de comandos, e-mail
  • Bernhard Schölkopf – machine learning, inteligencia artificial
  • Dana Scott – teoría del dominio
  • Michael L. Scott – lenguajes de programación, algoritmos, computación distribuida
  • Robert Sedgewick – algoritmos, estructuras de datos
  • Ravi Sethi – compiladores, 2o Libro Dragón
  • Nigel Shadbolt
  • Adi Shamir – RSA, cryptanalysis
  • 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 – networking
  • Ben Shneiderman – interacción humana-computadora, visualización de la información
  • Edward H. Shortliffe – MYCIN (sistema experto en diagnóstico médico)
  • Daniel Siewiorek – automatización de diseño electrónico, computación de confiabilidad, computación móvil consciente de contexto, computación utilizable, diseño computadorizado, prototipado rápido, tolerancia de falla
  • Joseph Sifakis – comprobación de modelos
  • Herbert A. Simon – inteligencia artificial
  • Munindar P. Singh – sistemas multiagent, ingeniería de software, inteligencia artificial, redes sociales
  • Ramesh Sitaraman – ayudó a construir la red de alto rendimiento de Akamai
  • Daniel Sleator – árbol del juego, análisis amortizado
  • Aaron Sloman – inteligencia artificial y ciencia cognitiva
  • Arne Sølvberg – modelado de información
  • Brian Cantwell Smith – reflexión (ciencia de ordenador), 3lisp
  • David Canfield Smith – inventó iconos de interfaz, programación por demostración, desarrolló interfaz gráfica de usuario, Xerox Star; Xerox PARC, cofundado 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, extracción 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
  • Richard E. Stearns – teoría de complejidad computacional
  • Guy L. Steele, Jr. – Esquema, Lisp común
  • Thomas Sterling – creador de grupos Beowulf
  • Alexander Stepanov – programación genérica
  • W. Richard Stevens (1951-1999) – autor de libros, incluyendo TCP/IP Illustrated y Programación avanzada en el entorno Unix
  • Larry Stockmeyer – complejidad computacional, computación distribuida
  • Salvatore Stolfo – seguridad informática, aprendizaje automático
  • Michael Stonebraker – práctica de bases de datos relacionales y teoría
  • Olaf Storaasli – máquina de elementos finitos, álgebra lineal, computación de alto rendimiento
  • Christopher Strachey – semántica denotacional
  • Volker Strassen – multiplicación de matriz, multiplicación de enteros, prueba de primalidad de Solovay–Strassen
  • Bjarne Stroustrup – C++
  • Madhu Sudán – teoría de complejidad computacional, teoría de codificación
  • Gerald Jay Sussman – Esquema
  • Bert Sutherland – gráficos, Internet
  • Ivan Sutherland – gráficos
  • Latanya Sweeney – Privacidad de datos y equidad algoritmo
  • Mario Szegedy – teoría de la complejidad, cálculo cuántico

T

  • Parisa Tabriz – Google Director de Ingeniería, también conocido como la Princesa de 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 – base conceptual de modelado
  • Éva Tardos
  • Gábor Tardos
  • Robert Tarjan – árbol de splay
  • Valerie Taylor
  • Mario Tchou – Ingeniero italiano, de descendencia china, líder del proyecto Olivetti Elea
  • Jaime Teevan
  • Shang-Hua Teng – análisis de algoritmos
  • Larry Tesler – interacción humana-computer, interfaz gráfica de usuario, Apple Macintosh
  • Avie Tevanian – Equipo del kernel Mach, NeXT, Mac OS X
  • Charles P. Thacker – Xerox Alto, Microsoft Research
  • Daniel Thalmann – gráficos informáticos, actor virtual
  • Ken Thompson – Unix
  • Sebastian Thrun – Investigador de AI, pionero autónomo
  • Walter F. Tichy – RCS
  • Seinosuke Toda – complejidad informática, ganador del Premio Gödel 1998
  • Linus Torvalds – Linux kernel, Git
  • Leonardo Torres y Quevedo (1852-1936) – inventó El Ajedrecista (El Ajedrecista)el jugador de ajedrez) en 1912, un verdadero autómata construido para jugar ajedrez sin orientación humana. En su trabajo Ensayos sobre Automáticos (1913), introdujo la idea de aritmética de punto flotante. En 1920, construyó un dispositivo electromecánico temprano del motor analítico.
  • Godfried Toussaint – geometría computacional, teoría de la música computacional
  • Gloria Townsend
  • Edwin E. Tozer – sistemas de información empresarial
  • Joseph F Traub – complejidad computacional de los problemas científicos
  • John V. Tucker – teoría de computabilidad
  • John Tukey – fundador de FFT algoritmo, diagrama de caja, análisis de datos exploratorios y Coining the term 'bit'
  • Alan Turing (1912-1954) – pionero británico de computación, máquina Turing, algoritmos, criptología, arquitectura computarizada
  • David Turner – SASL, Kent Calculadora Recursiva, Miranda, miembro del IFIP WG 2.1
  • Murray Turoff – comunicación mediada por computadora

U

  • Jeffrey D. Ullman – compiladores, bases de datos, teoría de la complejidad

V

  • Leslie Valiant – teoría de complejidad computacional, teoría de aprendizaje computacional
  • Vladimir Vapnik – reconocimiento de patrones, teoría de aprendizaje computacional
  • Moshe Vardi – profesor de informática de la Universidad de Rice
  • Dorothy Vaughan
  • Umesh Vazirani
  • Manuela M. Veloso
  • François Vernadat – modelado empresarial
  • Richard Veryard – modelado empresarial
  • Sergiy Vilkomir – pruebas de software, RC/DC
  • Paul Vitanyi – complejidad Kolmogorov, Distancia de información, Distancia normalizada de compresión, Distancia normalizada de Google
  • 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, Internet Software Consortium, MAPS, DNSBL

W

  • Eiiti Wada – ALGOL N, miembro del IFIP WG 2.1, Japonés Industrial Standards (JIS) X 0208, 0212, Happy Hacking Keyboard
  • David Wagner – seguridad, criptografía
  • David Waltz
  • James Z. Wang
  • Steve Ward
  • Manfred K. Warmuth – teoría computacional del aprendizaje
  • David H. D. Warren – AI, programación lógica, Prolog, Warren Abstract Machine (WAM)
  • Kevin Warwick – inteligencia artificial
  • Jan Weglarz
  • Philip Wadler – programación funcional, Haskell, Monad, Java, Logic
  • Peter Wegner – programación orientada al objeto, interacción (ciencia informática)
  • Joseph Henry Wegstein – ALGOL 58, ALGOL 60, miembro del IFIP WG 2.1, normas técnicas de procesamiento de datos, análisis de huellas dactilares
  • Peter J. Weinberger – diseño de lenguaje de programación, el 'w' en AWK
  • Mark Weiser – ubicua computación
  • Joseph Weizenbaum – inteligencia artificial, ELIZA
  • David Wheeler – EDSAC, subrutinas
  • Franklin H. Westervelt – uso de computadoras en educación de ingeniería, uso conversacional de computadoras, Sistema Terminal de Michigan (MTS), ARPANET, aprendizaje a distancia
  • Steve Whittaker – interacción informática humana, soporte informático para el 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, IFIP WG 2.1 member
  • Mary Allen Wilkes – desarrollador LINC, diseñador de ensambladores
  • 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, IFIP WG 2.1 miembro, Pascal, Modula, Oberon
  • Neil Wiseman – gráficos informáticos
  • Dennis E. Wisnosky – Fabricación Integrada de Ordenadores (ICAM), IDEF
  • Stephen Wolfram – Mathematica
  • Mike Woodger – Pilot ACE, ALGOL 60, Ada (lengua de programación)
  • Philip Woodward – función de ambigüedad, función sinc, operador de peines, operador de rep, ALGOL 68-R
  • Beatrice Helen Worsley – escribió la primera tesis doctoral que involucra computadoras modernas; fue una de las personas que escribió Transcode
  • Steve Wozniak – ingeniero de computadoras personales de primera generación en Apple Computer
  • Jie Wu – redes informáticas
  • William Wulf – lenguaje de programación del sistema BLISS + compilador optimizador, sistema operativo Hydra, Laboratorios Tartan

Y

  • Mihalis Yannakakis
  • Andrew Chi-Chih Yao
  • John Yen
  • Nobuo Yoneda – Yoneda lemma, Yoneda producto, ALGOL, IFIP WG 2.1 miembro
  • Edward Yourdon – Método de análisis y diseño de sistemas estructurados
  • Moti Yung

Z

  • Lotfi Zadeh – lógica borrosa
  • Hans Zantema – análisis de terminación
  • Arif Zaman – generador de números pseudo-aleatorios
  • Stanley Zdonik — sistemas de gestión de bases de datos
  • Hussein Zedan – métodos formales y sistemas en tiempo real
  • Shlomo Zilberstein – inteligencia artificial, algoritmos en cualquier momento, planificación automatizada y POMDPs descentralizados
  • Jill Zimmerman – James M. Beall Professor of Mathematics and Computer Science at Goucher College
  • Konrad Zuse – pionero alemán de hardware y software

Contenido relacionado

Octava GNU

Directorio Activo

Red inalámbrica

Una red de área local inalámbrica, LAN inalámbrica, WLAN o simplemente red inalámbrica es una red informática inalámbrica que vincula dos o más...
Más resultados...
Tamaño del texto:
undoredo
format_boldformat_italicformat_underlinedstrikethrough_ssuperscriptsubscriptlink
save