Lista de pioneros en informática
Contenido keyboard_arrow_down
Esta es una lista de personas que lograron avances transformadores en la creación, el desarrollo y la imaginación de lo que podrían hacer las computadoras.
Pioneras
(feminine)| Logros Fecha | Persona | Logros |
|---|---|---|
| 1977 | Adleman, Leonard | La contribución ingenua y la criptografía de clave pública son útiles en la práctica. |
| 1944 | Aiken, Howard | Concebido y co-diseñado el Harvard Mark I. |
| 830~ | Al-Khwarizmi | El término algoritmo se deriva del algorismo, la técnica de realizar aritmética con números hindú-árabes popularizados por al-Khwarizmi en su libro Sobre la Cálculo con Numerales Hindúes. |
| 1970, 1989 | Allen, Frances E. | Elaboración de notación de vectores de bits y gráficos de control de programas; primer becario femenino de IBM (1989); primer receptor femenino del Premio de Turing de ACM (2006). |
| 1939 | Atanasoff, John | Construyó el primer ordenador digital electrónico, el Atanasoff–Berry Computer, aunque no era programable ni completo Turing. |
| 1822, 1837 | Babbage, Charles | Originó el concepto de un ordenador de uso general programable; diseñó el motor analítico y construyó un prototipo para una calculadora mecánica menos potente. |
| 1973 | Bachman, Charles | Contribuciones pendientes a la tecnología de bases de datos. |
| 1954, 1963 | Backus, John | Dirigido el equipo que creó FORTRAN (Paramula Translation), el primer lenguaje práctico de alto nivel de programación, y formuló la forma Backus-Naur que describió la sintaxis formal del lenguaje. |
| 850~ | Banū Mūsā | Tres hermanos que escribió Libro de Dispositivos Ingeniosos, describiendo lo que parece ser la primera máquina programable, un reproductor automático de flauta. |
| 1960-1964 | Baran, Paul | Uno de los dos inventores independientes del concepto de conmutación de paquetes digitales utilizado en redes informáticas modernas incluyendo Internet. Publicó una serie de sesiones informativas y ponencias sobre la división de información en "bloques de mensaje" y el envío de ellas a través de redes distribuidas (1960-1964). |
| 1874 | Baudot, Émile | Ingeniero telegráfico francés; patentó el código Baudot, el primer medio de comunicación digital. El baud de la unidad de velocidad de módem se llama después de él. |
| 1960s | Bauer, Friedrich L. | Propuso la pila para la evaluación de la expresión, con Edsger W. Dijkstra. Influencia en el establecimiento de la ciencia informática como disciplina independiente de la ciencia; acuñó el término ingeniería de software. Gentileza de análisis numérico, fundamentos de interpretación y traducción de lenguajes de programación, sistemáticas de desarrollo del programa, transformación del programa y criptología. |
| 1953 | Bellman, Richard E. | Americano aplicado matemático que introdujo la programación dinámica (1953) |
| 2018 | Bengio, Yoshua; Hinton, Geoffrey; Lecun, Yan | Avances conceptuales e de ingeniería que han hecho de las redes neuronales profundas un componente crítico de la informática |
| 1989, 1990 | Berners-Lee, Tim | Inventó la World Wide Web y envió la primera comunicación HTTP entre cliente y servidor. |
| 1995 | Blum, Manuel | Contribuciones a las bases de la teoría de la complejidad computacional y su aplicación a la criptografía y la comprobación de programas |
| 1966 | Böhm, Corrado | Teorizado del concepto de programación estructurada. |
| 1847, 1854 | Boole, George | Álgebra booleana formalizada, la base para la lógica digital y la ciencia informática. |
| 1947 | Booth, Kathleen | Inventó el idioma de la primera asamblea. |
| 1969, 1978 | Brinch Hansen, Per | Desarrolló el sistema multiprogramación RC 4000, que introdujo el concepto de un núcleo del sistema operativo y la separación de la política y el mecanismo; efectivamente la primera arquitectura del microkernel. Co-desarrolló el monitor con Tony Hoare, y creó la primera implementación del monitor. Se implementó la primera forma de llamada de procedimiento remoto en el RC 4000, y fue el primero en proponer llamadas de procedimiento remoto como un concepto de estructuración para el cálculo distribuido. |
| 1959, 1995 | Brooks, Fred | Manager of IBM System/360 and OS/360 projects; author of El Hombre-Mes Místico. |
| 1908 | Brouwer, Luitzen Egbertus Jan | Fundada lógica intuitionista, que luego vino a usarse en ayudantes de pruebas. |
| 1954 | Burks, Arthur | Propuesta de Notación Polaca Inversa con Don Warren y Jesse Wright en 1954, sin saber del uso anterior de Konrad Zuse de notación postfix en su Z3 en 1941, y posteriormente reinventado independientemente por Friedrich L. Bauer y Edsger W. Dijkstra para uso con pilas. |
| 1930 | Bush, Vannevar | Analogue computing pionero; originator of the Memex concept, which led to the development of Hypertext |
| 1951 | Caminer, David | Con John Pinkerton, desarrolló el ordenador LEO, el primer ordenador de negocios, para J. Lyons y Co |
| 1974 | Catmull, Edwin | Computador generó imágenes (CGI) y pioneros gráficos 3D que desarrollaron la cartografía de texturas, el algoritmo de subdivisión Catmull-Clark (con Jim Clark), y la línea Catmull-Rom (con Raphael Rom. Ex vicepresidente de Industrial Light & Magic y cofundador de y ex presidente de Pixar |
| 1978 | Cerf, Vint | Con Bob Kahn, diseñó el Protocolo de Control de Transmisiones y el Protocolo de Internet (TCP/IP), los protocolos de comunicación de datos primarios de Internet y otras redes informáticas |
| 1956 | Chomsky, Noam | Hizo contribuciones a la informática con su trabajo en lingüística. Desarrolló la jerarquía Chomsky, impactando directamente la teoría del lenguaje de programación y otras ramas de la ciencia informática. |
| 1936 | Church, Alonzo | Hicieron contribuciones fundamentales a la informática teórica, específicamente en el desarrollo de la teoría de computabilidad en forma de cálculo de lambda. Independiente de Alan Turing, formuló lo que ahora se conoce como la tesis de la Iglesia-Turing y demostró que la lógica de primer orden es indecible. |
| 1962 | Clark, Wesley A. | Diseñado LINC, el primer ordenador funcional escalado y precio para usuarios individuales (1963). Muchas de sus características se consideran prototipos de elementos esenciales de las computadoras personales. |
| 1981 | Clarke, Edmund M. | Comprobación de modelos desarrollados y verificación formal de software y hardware, con E. Allen Emerson. |
| 1987 | Cocke, John | Contribuciones significativas para el diseño y la teoría del compilador, la arquitectura de sistemas grandes, y el desarrollo de equipos de instrucciones reducidas (RISC) |
| 1970 | Codd, Edgar F. | Propuesto y formalizado el modelo relacional de gestión de datos, la base teórica de bases de datos relacionales |
| 1971 | Conway, Lynn | Arquitectura Superscalar con programación de instrucciones dinámicas fuera de orden múltiple |
| 1967 | Cook, Stephen | Formalizada la noción de la completeidad NP, inspirando una gran cantidad de investigación en la teoría de la complejidad computacional |
| 1965 | Cooley, James | Con John W. Tukey, creó la rápida transformación Fourier |
| 1944 | Coombs, Allen | Diseñado y construido los ordenadores Mark II Colossus; superó la versión Mark I (que fue el primer dispositivo electrónico y digital del mundo) |
| 1989 | Corbató, Fernando J. | Pioneering work organizing the concepts and leading the development of the general-purpose, large-scale, time-sharing and resource-sharing computer systems CTSS and Multics |
| 1964 a 1996 | Cray, Seymour | Diseñó una serie de ordenadores que fueron los más rápidos del mundo durante décadas; y fundó Cray Research, que construyó muchos de ellos; acreditado con la creación de la industria de supercomputadora |
| 1978, 1993 | Cutler, David N. | Principal pionero del diseño del sistema operativo a través de su trabajo en Digital Equipment Corporation y Microsoft, donde fue ingeniero principal de los núcleos VMS y Windows NT (respectivamente) |
| 1962 | Dahl, Ole-Johan | Con Kristen Nygaard, inventó el lenguaje orientado al proto-objeto SIMULA |
| 1965 | Davies, Donald | Uno de los dos inventores independientes del concepto de conmutación de paquetes digitales utilizado en redes informáticas modernas incluyendo Internet. Concebido y nombrado el concepto de redes de comunicación de datos (1965–66). Muchas de las redes anchas de los años 70, incluyendo ARPANET, fueron similares "en casi todos los aspectos" a su diseño original de 1965. |
| 1976 | Diffie, Whitfield | Contribuciones fundamentales a la criptografía moderna. Diffie y el innovador documento de 1976 de Hellman "New Directions in Cryptography" introdujeron las ideas de criptografía de clave pública y firmas digitales, la fundación de protocolos de seguridad utilizados en Internet hoy. |
| 1968 | Dijkstra, Edsger W. | Pioneered the shortest path algoritmo; coined the term structured programming; invented the semaphore; knownly suggested that the GOTO statement should be considered harmful |
| 1918 | Eccles, William y Jordan, Frank Wilfred | Patented the Eccles-Jordan trigger circuit, the so-called "bistable flip-flop", a building block of all digital Memory cells. Construido a partir de tubos de vacío, su concepto era esencial para el éxito de la computadora de ruptura de códigos Colossus. |
| 1943, 1951 | Eckert, J. Presper | Con John Mauchly, designed and built ENIAC, the first modern (all electronic, Turing-complete) computer; and UNIVAC I, the first commercially available computer |
| 1981 | Emerson, E. Allen | Comprobación de modelos desarrollados y verificación formal de software y hardware, con Edmund M. Clarke |
| 1963 | Engelbart, Douglas | Más conocido por inventar el ratón de ordenador, con Bill English; pionero de la interacción humana-computer cuyo equipo de Augment desarrolló hipertexto, computadoras en red y precursores de GUIs |
| 1971 | Faggin, Federico | Diseñado el primer microprocesador comercial, Intel 4004 |
| 1994 | Feigenbaum, Edward | Pioneering the design and construction of large-scale artificial intelligence systems, demonstrating the practical importance and potential commercial impact of artificial intelligence technology |
| 1974 | Feinler, Elizabeth | Equipo líder que definió un formato de archivo de texto simple para los nombres de hosts de Internet, que se convirtió en el Sistema de Nombres de Dominio; su grupo se convirtió en la autoridad de nombrar para los dominios de nivel superior de.mil,.gov,.edu,.org, y.com |
| 1943 | Flores, Tommy | Diseñado y construido el ordenador Mark I Colossus, los primeros dispositivos programables, digitales, electrónicos, informáticos del mundo |
| 1978 | Floyd, Robert W. | Tuvo una clara influencia en las metodologías para la creación de software eficiente y confiable; ayudó a encontrar estos importantes subcampos de la ciencia informática: teoría de la parsing, semántica de lenguajes de programación, verificación automática del programa, síntesis del programa automático y análisis de algoritmos |
| 1994 | Floyd, Sally | Fundada el campo de la gestión activa de colas; co-inventada detección temprana aleatoria, utilizado en casi todos los routers de Internet |
| 1879 | Frege, Gottlob | Ampliada lógica aristotélica con cálculo predicado de primer orden independientemente de Charles Sanders Peirce, un precursor crucial en la teoría de la computabilidad; también relevante para el trabajo temprano en inteligencia artificial, programación lógica |
| 1985 | Furber, Stephen Wilson, Sophie | Dirigir la creación del microprocesador RISC de 32 bits |
| 1958, 1961, 1967 | Ginsburg, Seymour | La minimización probada del circuito "no cuidado" no produce necesariamente resultados óptimos; demostró que el lenguaje de programación ALGOL era libre de contexto (enlazando la teoría formal del lenguaje al problema de la escritura compiladora); inventó AFL Teoría |
| 1931 | Gödel, Kurt | Probada que la aritmética de Peano no podría ser lógicamente consistente y completa en cálculo predicado de primer orden. Iglesia, Kleene y Turing desarrollaron los cimientos de la teoría de la computación basados en corolarios a la obra de Gödel. |
| 1989 | Goldwasser, Shafi | Inventó pruebas de cero conocimiento con Micali y Rackoff; ella y Micali recibieron el premio Turing (2012) por este y otro trabajo. |
| 2011 | Graham, Susan L. | Premio a la Medalla IEEE John von Neumann 2009 por "contribuciones a la programación de diseño e implementación del lenguaje y al servicio ejemplar a la disciplina de la informática" |
| 1953 | Gray, Frank | Médico e investigador en Bell Labs, desarrolló el código binario reflejado (RBC) o código Gray. Las metodologías de Gray se utilizan para la detección y corrección de errores en los sistemas de comunicación digital, como QAM en las redes de línea de suscriptores digitales. |
| 1974, 2005 | Gray, Jim | Innovador en sistemas de bases de datos y aplicación de la tramitación de transacciones |
| 1986, 1990 | Grosz, Barbara | Creado el primer modelo computacional del discurso, estableciendo el campo de la investigación e influenciando las tecnologías de procesamiento del lenguaje; desarrolló el modelo SharedPlans para la colaboración en sistemas multiagentes |
| 1988, 2015 | Gustafson, John | Probó la viabilidad de la computación paralela experimental y teóricamente; formuló la Ley de Gustafson; desarrolló formatos de alta eficiencia para representar números reales Unum y Posit |
| 1971 | Hamilton, Margaret | Desarrolló los conceptos de software asincrónico, programación prioritaria, pruebas de extremo a extremo y capacidad de decisión humana en el bucle, tales como pantallas prioritarias que luego se convirtieron en la base para el diseño de software ultra fiable |
| 1950 | Hamming, Richard | Creado los campos de código de error, código Hamming, matriz Hamming, la ventana Hamming, números Hamming, campo de envasado (o Hamming bound), y la distancia Hamming; establece el concepto de código perfecto |
| 1956, 1958, 1974 | Händler, Wolfgang | Pioneering trabajo en la teoría de la automata, computación paralela, inteligencia artificial, interfaces hombre-máquina y gráficos informáticos; uno de los arquitectos principales del TR 4 supercomputer; inventó diagramas Händler para minimizar la función lógica; diseñó el sistema de clasificación de Erlangen (ECS) para computadoras paralelas |
| 2019 | Hanrahan, Pat | Contribuciones fundamentales a gráficos computarizados en 3D, con impacto revolucionario en imágenes generadas por ordenador (CGI) en el cine y otras aplicaciones |
| 1993 | Hartmanis, Juris | Fundaciones para el campo de la teoría de la complejidad computacional |
| 1981, 1995, 1999 | Hejlsberg, Anders | Autor de Turbo Pascal en Borland; arquitecto jefe de Delphi; diseñador y arquitecto principal de C# en Microsoft |
| 1976 | Hellman, Martin | Contribuciones fundamentales a la criptografía moderna. Diffie y el innovador documento de 1976 de Hellman, "New Directions in Cryptography", presentaron las ideas de la criptografía de clave pública y las firmas digitales, la base para protocolos de seguridad en Internet hoy |
| 2017 | Hennessy, John L. | Pioneered a systematic, quantitative approach to the design and evaluation of computer architectures with enduring impact on the microprocessor industry |
| 2008, 2012, 2018 | Hinton, Geoffrey | Popularizó y permitió el uso de redes neuronales artificiales y el aprendizaje profundo, entre las herramientas más exitosas en los esfuerzos modernos de inteligencia artificial; recibió el Premio Turing (2018) por los avances conceptuales e ingenieros que han hecho de las redes neuronales profundas un componente crítico de la computación |
| 1961, 1969, 1978, 1980 | Hoare, C. A. R. | Desarrolló el lenguaje formal Communicating Sequential Processes (CSP), Hoare logic for verifying program correctness, and Quicksort; fundamental contributions to the definition and design languages |
| 1968 | Holberton, Betty | Wrote the first mainframe sort merge on the Univac |
| 1889 | Hollerith, Herman | Considerado ampliamente como el padre del procesamiento moderno de datos de la máquina, su invención de la máquina de tabulación de tarjetas perforadas marcó el comienzo de la era de los sistemas de procesamiento de datos semiautomáticos |
| 1986 | Hopcroft, John | Logros fundamentales en el diseño y análisis de algoritmos y estructuras de datos |
| 1952 | Hopper, Grace. | Pioneered work on the need for high-level programming languages, which she termed programación automática; escribió el compilador A-O, que influyó fuertemente en el lenguaje COBOL |
| 1997 | Hsu Feng-hsiung | Trabajo que condujo a la creación de la computadora de ajedrez del Pensamiento Profundo; arquitecto y diseñador principal IBM Deep Blue ajedrez computador que derrotó al campeón reinante del Ajedrez Mundial, Garry Kasparov, en 1997 |
| 1952 | Huffman, David | Codificación de Huffman |
| 1952 | Hurd, Cuthbert | Ayudó a IBM a desarrollar su primer equipo para fines generales, el IBM 701 |
| 1945, 1953 | Huskey, Harry | Contribuciones al diseño de computadoras tempranas incluyendo ENIAC, EDVAC, Pilot ACE, EDVAC, SEAC, SWAC y Bendix G-15 (este último describió como el primer ordenador personal, siendo operable por una persona) |
| 1954, 1962 | Iverson, Kenneth | Ayudó a establecer y enseñar el primer curso de postgrado en informática (en Harvard); inventó el lenguaje de programación APL; contribuciones a la informática interactiva |
| 1801 | Jacquard, Joseph Marie | Construido y demostrado el telar de Jacquard, un telar mecanizado programable controlado por una cinta construida a partir de tarjetas perforadas |
| 1206 | Al-Jazari | Máquinas programables inventadas, incluyendo robots humanoides programables, y el reloj del castillo, un reloj astronómico considerado el primer ordenador analógico programable |
| 1989 | Kahan, William | Contribuciones fundamentales al análisis numérico; principal experto en computaciones de puntos flotantes; dedicado a "hacer el mundo seguro para computaciones numéricas" |
| 1978 | Kahn, Bob | Designed the Transmission Control Protocol and Internet Protocol (TCP/IP), the primary data communication protocols of the Internet and other computer networks |
| 1952, 1953 | Karnaugh, Maurice | Creador del mapa de Karnaugh, una variación en el diagrama de Edward Veitch; redescubrimiento del diagrama lógico mucho anterior de Allan Marquand utilizado para minimizar la función lógica |
| 1985 | Karp, Richard M. | Contribuciones a la teoría del algoritmo, incluyendo el desarrollo de algoritmos eficientes para el flujo de red y otros problemas de optimización combinatorial; identificó la computabilidad polinomial-time con la noción intuitiva de eficiencia algoritmo; contribuyó a la teoría de la completeidad NP |
| 1973 | Karpinski, Jacek | Desarrolló el primer analizador diferencial usando transistores; desarrolló uno de los primeros algoritmos de aprendizaje automático para el reconocimiento de carácter y imagen; inventado de uno de los primeros minicomputadores, el K-202 |
| 1970~ | Kay, Alan | Pioneered many ideas at the root of object-oriented programming languages; led the team that developed Smalltalk; made fundamental contributions to personal computing |
| 1948-1990 | Kilburn, Tom | Con Freddie Williams trabajó en el tubo Williams–Kilburn y desarrolló el primer ordenador electrónico de programación almacenada del mundo, el Manchester Baby, mientras trabajaba en la Universidad de Manchester. Su trabajo llevó a Manchester y Gran Bretaña a la vanguardia del campo emergente de la ciencia informática. También trabajó en el desarrollo de Atlas, uno de los supercomputadores más poderosos de 1960. |
| 1972 a 1994 | Kildall, Gary | Introdujo la teoría del análisis de flujo de datos en la optimización de compiladores ( optimización de la expresión global, método de Kildall). Trabajado en los emuladores de conjuntos de instrucciones (INTERP), encontró un innovador método de reubicación de software (reubicación de límites de página), y sentó la base a los conceptos de recompilación binaria (XLT86). Desarrolló el primer lenguaje de programación de alto nivel y compilador para microcomputadoras (PL/M) y el primer sistema operativo estándar para microcomputadoras (CP/M). Inventó el concepto de una capa de abstracción de hardware llamada BIOS, con ambos conceptualmente sentando la base a todos los sistemas operativos basados en DOS en computadoras personales. Trabajado en esquemas de amortiguación de pistas de disquete, algoritmos de lectura de cabeza, unidades de disco virtual y caché de sistema de archivos. Desarrolló la primera interfaz informática para discos de vídeo y sistemas de archivos CD-ROM pioneros, introduciendo la primera enciclopedia para ordenadores (La Enciclopedia Electrónica). Pioneered a modular PBX communication system integrating land-lines with mobile phones (Intelliphone) and to remotely connect with home electrodomésticos. |
| 1957 | Kirsch, Russell Gray | Mientras trabajaba para la Oficina Nacional de Normas (NBS), Kirsch utilizó un escáner de imagen recientemente desarrollado para escanear y almacenar la primera fotografía digital. Su foto escaneada de su hijo de tres meses fue considerada por la revista Life como una de las "100 fotografías que cambiaron el mundo". |
| 1961-1970s | Kleinrock, Leonard | Pioneered the application of queueing theory to model delays in message switching networks in his Ph.D. thesis in 1961–1962, published as a book in 1964. Posteriormente publicó varias de las obras estándar sobre el tema. A principios de la década de 1970, aplicó teoría de colas para modelar el rendimiento de las redes de conmutación de paquetes. Esta labor desempeñó un papel influyente en el desarrollo de la ARPANET, el precursor de Internet. Supervisó a los estudiantes graduados que trabajaron en los protocolos de comunicación temprana para el ARPANET. Su trabajo teórico sobre la ruta jerárquica a finales de la década de 1970 con el estudiante Farouk Kamoun sigue siendo crítico para el funcionamiento de Internet hoy. |
| 1936 | Kleene, Stephen Cole | Pioneered work with Alonzo Church on the Lambda Calculus that first laid down the foundations of computation theory. |
| 1968, 1989 | Knuth, Donald | Wrote El arte de la programación informática y creó TeX. Cointió el término "análisis de algoritmos" e hizo importantes contribuciones a ese campo, incluyendo popularizar la notación Big O. |
| 1990-1993 | Lam, Simon S. | Lam fue inducida al Internet Hall of Fame (2023) por la Sociedad de Internet para “inventar tomas seguras en 1991 e implementar la primera capa de tomas seguras, llamada SNP, en 1993”. En 1990, concibió la idea de un nuevo sublayer de seguridad en la pila de protocolo de Internet. De esta manera, los programadores de aplicaciones no necesitan saber mucho sobre los detalles de la aplicación para la seguridad. Además, la interfaz superior del sublayer permitiría cambios de aplicación en el futuro. La idea de Lam de un sublayer que ofrece una “interfase segura de tomas” a aplicaciones fue novedosa y una salida radical de la investigación de seguridad contemporánea para aplicaciones de Internet (por ejemplo, Kerberos del MIT, 1988-1992). SNP fue creado para aplicaciones de Internet en general. Subsequent secure sockets layers, SSL and TLS, developed years later for commercial browsers, followed the same architecture and key ideas of SNP. Hoy, TLS 1.3 se utiliza no sólo para todas las aplicaciones de comercio electrónico (banca, compras, etc.) en WWW, sino también para correo electrónico, y muchas otras aplicaciones de Internet. |
| 1950-1960 | Lamarr, Hedy | Al comienzo de la Segunda Guerra Mundial, George Antheil y compositor desarrollaron un sistema de guía radiofónico para torpedos aliados que utilizaban el espectro de difusión y la tecnología de saltos de frecuencia para derrotar la amenaza de interferencia de los poderes del eje. Aunque la Armada de Estados Unidos no adoptó la tecnología hasta la década de 1960, los principios de su trabajo se incorporan en la tecnología Bluetooth y GPS y son similares a los métodos utilizados en versiones heredadas de CDMA y Wi-Fi. Este trabajo llevó a su inducción al Salón Nacional de Inventores de la Fama en 2014. |
| 1974, 1978 | Lamport, Leslie | Formulación de algoritmos para resolver muchos problemas fundamentales en los sistemas distribuidos (por ejemplo, el algoritmo de panadería). Desarrolló el concepto de reloj lógico, permitiendo la sincronización entre entidades distribuidas sobre la base de los eventos a través de los cuales se comunican. Creado LaTeX. |
| 1972 | Lampson, Butler W. | Desarrollo de entornos de computación personal distribuidos y la tecnología para su implementación: estaciones de trabajo, redes, sistemas operativos, sistemas de programación, pantallas, seguridad y publicación de documentos. |
| 1964-1966 | Landin, Peter | Usaba el cálculo de lambda para especificar formalmente la semántica de los lenguajes de programación, y desarrolló un lenguaje de programación funcional temprano llamado ISWIM. |
| 1951 | Lebedev, Sergei Alekseyevich | Diseñado de forma independiente la primera computadora electrónica en la Unión Soviética, MESM, en Kiev, Ucrania. |
| 1670~ | Leibniz, Gottfried | Realizó avances en lógica simbólica, como el ratiocinador de cálculo, que fueron muy influyentes en Gottlob Frege. Previó desarrollos posteriores en cálculo predicado de primer orden, que eran cruciales para los fundamentos teóricos de la ciencia informática. |
| 1960 | Licklider, J. C. R. | Began la investigación de la interacción humana-computadora, que conduce a muchos avances en interfaces informáticas, así como en cibernética e inteligencia artificial. |
| 1987 | Liskov, Barbara | Desarrolló el principio de sustitución de Liskov, que garantiza la interoperabilidad semántica de los tipos de datos en una jerarquía. |
| 1300~ | Llull, Ramon | Diseñó múltiples máquinas de representaciones simbólicas, y nociones pioneras de representación y manipulación simbólicas para producir conocimiento—ambas de las cuales fueron importantes influencias en Leibniz. |
| 1852 | Lovelace, Ada | Un matemático inglés y escritor, principalmente conocido por su trabajo en el equipo mecánico propuesto por Charles Babbage, el motor analítico. Ella fue la primera en reconocer que la máquina tenía aplicaciones más allá del cálculo puro, y creó el primer algoritmo destinado a ser llevado a cabo por tal máquina. Como resultado, a menudo se le considera como la primera en reconocer el pleno potencial de una "máquina de computación" y la primera programadora de computadoras. |
| 1909 | Ludgate, Percy | Charles Babbage en 1843 y Percy Ludgate en 1909 diseñaron los dos primeros motores analíticos en la historia. El motor de Ludgate utilizó la multiplicación como base (utilizando sus propios logaritmos irlandeses discretos), tuvo el primer multiplicador-acumulador (MAC), fue el primero en explotar un MAC para realizar división, los números almacenados como desplazamientos de varillas en transbordadores, y tenía varias otras características novedosas, incluyendo el control del programa. |
| 1971 | Martin-Löf, Per | Publicó un borrador temprano sobre la teoría de tipo que muchos asistentes de pruebas construyen. |
| 1943, 1951 | Mauchly, John | Con J. Presper Eckert, diseñó y construyó el ENIAC, el primer equipo moderno (todo electrónico, Turing-complete), y el UNIVAC I, el primer ordenador disponible comercialmente. También trabajó en BINAC (1949), EDVAC (1949), UNIVAC (1951) con Grace Hopper y Jean Bartik, para desarrollar computadoras de programas almacenadas tempranamente. |
| 1958 | McCarthy, John | Invented LISP, un lenguaje de programación funcional. |
| 1956, 2012 | McCluskey, Edward J. | Contribuciones fundamentales que moldearon el diseño y la prueba de sistemas digitales, incluyendo el primer algoritmo para la síntesis de lógica digital, el método de minimización lógica Quine-McCluskey. |
| 1986 | Meyer, Bertrand | Diseño desarrollado por contrato bajo la forma del lenguaje de programación Eiffel. |
| 2012 | Micali, Silvio | Para el trabajo transformador que sentó las bases teóricas de complejidad para la ciencia de la criptografía y en el proceso pioneros nuevos métodos para la verificación eficiente de las pruebas matemáticas en la teoría de la complejidad. |
| 1991 | Milner, Robin | 1) LCF, la mecanización de la Lógica de Funciones Computables de Scott, probablemente la primera herramienta de base teórica pero práctica para la construcción de pruebas asistidas a máquina; 2) ML, el primer idioma para incluir inferencia de tipo polimorfico junto con un mecanismo de manejo de excepción tipo seguro; 3) CCS, una teoría general de la concurrencia. Además, formuló y avanzó fuertemente la abstracción completa, el estudio de la relación entre la semántica operacional y denotacional. |
| 1963 | Minsky, Marvin | Cofundador de Laboratorio de Inteligencia Artificial en Massachusetts Institute of Technology, autor de varios textos sobre AI y filosofía. Crítica del perceptrón.
|
| 1968 | Moore, Charles H. | Inventor del lenguaje de programación Forth. |
| 2008 | Nakamoto, Satoshi | El creador o creador anónimo de Bitcoin, la primera moneda digital entre pares. El papel blanco de Nakamoto 2008 introdujo el concepto de la cadena de bloques, una estructura de bases de datos que permite la plena confianza en el libro mayor de transacciones públicas descentralizado y distribuido de la criptomoneda. |
| 1934, 1938 | Nakashima Akira | El ingeniero de NEC introdujo la teoría del circuito de conmutación en papeles de 1934 a 1936, sentando las bases para el diseño de circuitos digitales, en ordenadores digitales y otras áreas de tecnología moderna. |
| 1960 | Naur, Peter | Edited the ALGOL 60 Revised Report, introducing Backus-Naur form |
| 1945 | Neumann, John von | Formulado la arquitectura von Neumann sobre la que se basan la mayoría de las computadoras modernas. |
| 1956 | Newell, Allen | Junto con J. C. Shaw y Herbert Simon, los tres co-escribió el teórico lógico, el primer verdadero programa AI, en el primer lenguaje de procesamiento de listas, que influyó en LISP. |
| 1943 | Newman, Max | Instigó la producción de los ordenadores Colossus en Bletchley Park. Después de la segunda guerra mundial estableció el Laboratorio de Máquinas Computadoras en la Universidad de Manchester, donde creó el proyecto que construyó el primer ordenador del programa almacenado mundial, el Manchester Baby. |
| 1962 | Nygaard, Kristen | Con Ole-Johan Dahl, inventó el lenguaje orientado al proto-objeto SIMULA. |
| 1642 | Pascal, Blaise | Inventó la calculadora mecánica. |
| Siglo 5 BCE | Pānuini | Inventó el primer Grammar formal. También dio formas tempranas de la forma Backus-Naur |
| 2017 | Patterson, David | Para pioneros de un enfoque sistemático y cuantitativo del diseño y evaluación de arquitecturas informáticas con un impacto duradero en la industria del microprocesador. |
| 2011 | Pearl, Judea | Contribuciones fundamentales a la inteligencia artificial mediante el desarrollo de un cálculo para el razonamiento probabilístico y causal. |
| 1952 | Perlis, Alan | Sobre el proyecto Whirlwind, miembro del equipo que desarrolló el lenguaje de programación ALGOL, y el primer receptor del premio Turing |
| 1985 | Perlman, Radia | Inventó el Protocolo de Árboles de Ganancia (STP), que es fundamental para el funcionamiento de puentes de red, mientras trabajaba para Digital Equipment Corporation. Ha realizado investigaciones extensas e innovadoras, en particular sobre encriptación y redes. She received the USENIX Lifetime Achievement Award in 2007, among numerous others. |
| 1964 | Perotto, Pier Giorgio | Diseñador de ordenadores para Olivetti, diseñó una de las primeras calculadoras programables electrónicas, el Programma 101 |
| 1932 | Péter, Rózsa | Publicado una serie de documentos que fundamentan la teoría de la recursión como un área separada de la investigación matemática, estableciendo la base para la ciencia informática teórica. |
| 1995 | Picard, Rosalind | Fundada Computación Afectiva, y sentó las bases para dar habilidades informáticas de inteligencia emocional. |
| 1996 | Pnueli, Amir | Introducción de la lógica temporal en la ciencia informática y para contribuciones pendientes a la verificación de programas y sistemas. |
| 1936 | Post, Emil L. | Desarrolló la máquina Post como un modelo de computación, independientemente de Turing. Conocido también para desarrollar tablas de verdad, el problema de correspondencia Post utilizado en la teoría de la recursión, así como probar lo que se conoce como teorema de Post. |
| 1976 | Rabin, Michael O. | El documento conjunto "Finite Automata and Their Decision Problems", que introdujo la idea de máquinas no deterministas, que ha demostrado ser un concepto enormemente valioso. Su papel clásico (Scott " Rabin) ha sido una fuente continua de inspiración para el trabajo posterior en este campo. |
| 1994 | Reddy, Raj | Pioneering the design and construction of large scale artificial intelligence systems, demonstrating the practical importance and potential commercial impact of artificial intelligence technology. |
| 1967 a 2011 | Ritchie, Dennis | Con Ken Thompson, pionero en el lenguaje de programación C y el sistema operativo Unix en Bell Labs. |
| 1977 | Rivest, Ron | La contribución ingenua y la criptografía de clave pública son útiles en la práctica. |
| 1958-1960 | Rosen, Saul | Diseñado el software de la primera computadora basada en transistor. También influyó en el lenguaje de programación de ALGOL. |
| 1975, 1985 | Rubin, Philip | Desarrollados pioneros sistemas de síntesis de discursos computacionales para su uso en el estudio experimental de percepción y producción del habla, incluyendo síntesis articulatoria y síntesis de sinewave. También diseñó el sistema de procesamiento de señales HADES, un predecesor del MATLAB. |
| 1910 | Russell, Bertrand | Hizo contribuciones a la ciencia informática con su trabajo en la lógica matemática (ejemplo: función de la verdad). Introdujo la noción de teoría de tipo. También introdujo el sistema de tipo (junto con Alfred North Whitehead) en su trabajo, Principia Mathematica. |
| 1975 | Salton, Gerard | Un pionero de la recuperación automática de la información, que propuso el modelo espacial vectorial y el índice invertido. |
| 1962 | Sammet, Jean E. | Desarrolló el lenguaje de programación FORMAC. También fue la primera en escribir ampliamente sobre la historia y categorización de lenguajes de programación en 1969, y se convirtió en la primera presidenta de la Asociación para la Maquinaria de Computación en 1974. |
| 1880, 1898 | Sanders Peirce, Charles | Probó la integridad funcional de la puerta NOR. Propuso la implementación de la lógica a través de circuitos eléctricos, décadas antes de Claude Shannon. La lógica aristotélica extendida con cálculo predicado de primer orden, independientemente de Gottlob Frege, un precursor crucial en la teoría de la computabilidad. También es relevante para el trabajo temprano en inteligencia artificial, programación lógica. |
| 1976 | Scott, Dana | El documento conjunto "Finite Automata and Their Decision Problems", que introdujo la idea de máquinas no deterministas, que ha demostrado ser un concepto enormemente valioso. Su papel clásico (Scott " Rabin) ha sido una fuente continua de inspiración para el trabajo posterior en este campo. |
| 1977 | Shamir, Adi | La contribución ingenua y la criptografía de clave pública son útiles en la práctica. |
| 1937, 1948 | Shannon, Claude | Teoría de información fundada, y sentó bases para el diseño práctico de circuitos digitales. |
| 1971 | Shima Masatoshi | Diseñado el Intel 4004, el primer microprocesador comercial, así como los microprocesadores Intel 8080, Zilog Z80 y Zilog Z8000, y los chips Intel 8259, 8255, 8253, 8257 y 8251. |
| 2007 | Sifakis, Joseph | Elaborar modelos de verificación en una tecnología de verificación altamente eficaz, ampliamente adoptada en las industrias de hardware y software. |
| 1956, 1957 | Simon, Herbert A. | Un científico político y economista que pionera inteligencia artificial. Co-creador de la máquina de teoría lógica y los programas de solución de problemas generales. |
| 1953 | Spärck Jones, Karen | Uno de los pioneros de la recuperación de la información y el procesamiento del lenguaje natural. |
| 1972 | Stallman, Richard | Stallman lanzó el Proyecto GNU en septiembre de 1983 para crear un sistema operativo tipo Unix compuesto totalmente de software libre. Con esto, también lanzó el movimiento de software libre. |
| 1993 | Stearns, Richard E. | Fundaciones para el campo de la teoría de la complejidad computacional. |
| 1981 | Stepanov, Alexander | Stepanov es uno de los pioneros en la programación genérica y es también el diseñador principal e implementador de la Biblioteca de Plantillas Estándar C++. |
| 1937, 1941 | Stibitz, George R. | Padre de computación digital moderna y entrada de trabajo remota. Coined the term "digital". Descubrió el código binario reflejado conocido como código Gray. El código Excess-3 también se llama después de él (código Stibitz). |
| 1982 | Stonebraker, Michael | Revolucionó el campo de los sistemas de gestión de bases de datos (DBMSs) y fundó múltiples empresas de bases de datos exitosas |
| 1979 | Stroustrup, Bjarne | Inventado C++ en Bell Labs |
| 1963 | Sutherland, Ivan | Autor de Sketchpad, el antepasado de los programas modernos de redacción computarizada (CAD) y uno de los primeros ejemplos de programación orientada al objeto. |
| 1986 | Tarjan, Robert | Logros fundamentales en el diseño y análisis de algoritmos y estructuras de datos. |
| 1973 | Thacker, Charles P. | Pioneering diseño y realización del Xerox Alto, el primer ordenador personal moderno, y además por sus contribuciones a la Ethernet y el Tablet PC. |
| 1972, 1973 | Thi, André Truong Trong y François Gernelle | Invención del Micral N, el primer ordenador comercial, no-kit personal basado en un microprocesador. |
| 1967 | Thompson, Ken | Creado el sistema operativo Unix, el lenguaje de programación B, el sistema operativo Plan 9, la primera máquina para lograr una calificación Master en ajedrez, y la codificación UTF-8 en Bell Labs y el lenguaje de programación Go en Google. |
| 1993 | Toh, Chai Keong | Creación de redes ad hoc móviles; Implementó la primera red ad hoc de computadoras portátiles inalámbricas de trabajo en 1998 utilizando Linux OS, Lucent WaveLan 802.11 radios, y un nuevo protocolo de enrutamiento distribuido transparente a TCP/UDP/IP. |
| 1912, 1914 | Torres Quevedo, Leonardo | En 1912, Leonardo Torres Quevedo construyó El Ajedrecista (El Ajedrecista)el jugador de ajedrez), una de las primeras máquinas autónomas capaces de jugar ajedrez. A diferencia del operado humano El turco y Ajeeb, El Ajedrecista fue un verdadero autómata construido para jugar ajedrez sin orientación humana. Jugó un juego final con tres piezas de ajedrez, moviendo automáticamente un rey blanco y un ladrón para controlar al rey negro movido por un oponente humano. En su trabajo Ensayos sobre Automáticos, publicado en 1914, Torres Quevedo formula lo que será una nueva rama de ingeniería: automatización y diseñó una versión electromecánica de la máquina analítica de Babbage que introdujo aritmética de punto flotante. |
| 1991 | Torvalds, Linus | Creado la primera versión del kernel de Linux. |
| 1965 | Tukey, John W. | Con James Cooley, creó la rápida transformación Fourier. Inventó el término "bit". |
| 1936 | Turing, Alan | Ha hecho varias contribuciones fundamentales a la informática teórica, incluyendo el modelo computacional de la máquina Turing, la concepción del concepto de programa almacenado y el diseño del diseño de ACE de alta velocidad. Independientemente de la Iglesia de Alonzo, formuló la tesis de la Iglesia-Turing y demostró que la lógica de primer orden es indecible. También exploró las cuestiones filosóficas relativas a la inteligencia artificial, proponiendo lo que ahora se conoce como prueba de Turing. |
| 2010 | Valiant, Leslie | Contribuciones transformadoras a la teoría de la computación, incluyendo la teoría del aprendizaje probablemente correcto (PAC), la complejidad de la enumeración y de la computación algebraica, y la teoría de la computación paralela y distribuida. |
| 1875, 1875 | Verea, Ramón | Diseñado y patentado el multiplicador Verea Direct, el primer multiplicador directo mecánico. |
| 1950 | Wang An | Hizo contribuciones clave para el desarrollo de la memoria núcleo magnético. |
| 1955, 1960s, 1974 | Ware, Willis | Co-designer of JOHNNIAC. Chaired committee that developed the Code of Fair Information Practice and led to the Privacy Act of 1974. Vicepresidente de la Comisión de Estudio de Protección de la Privacidad. |
| 1964, 1966 | Weizenbaum, Joseph | Uno de los padres de la inteligencia artificial moderna. Creador del programa ELIZA usando procesamiento de lenguaje natural para emular conversaciones con un psicólogo. |
| 1968 | Wijngaarden, Adriaan van | Desarrollador de la W-grammar primero utilizado en la definición de ALGOL 68 |
| 1949 | Wilkes, Maurice | Construyó el primer ordenador práctico del programa almacenado (EDSAC) para completarse y para ser acreditado con las ideas de varios constructos de lenguaje de programación de alto nivel. |
| 1970 | Wilkinson, James H. | Investigación en análisis numéricos para facilitar el uso de la computadora digital de alta velocidad, habiendo recibido reconocimiento especial por su trabajo en computaciones en álgebra lineal y análisis de errores "retrocedentes". |
| 1970, 1978 | Wirth, Niklaus | Diseña los lenguajes de programación Pascal, Modula-2 y Oberon. |
| 2000 | Yao, Andrew | Contribuciones fundamentales a la teoría de la computación, incluyendo la teoría basada en la complejidad de la generación de números de pseudorandom, criptografía y complejidad de la comunicación. |
| 1955-1958 | Zemanek, Heinz | Desarrolló un ordenador completamente transistorizado temprano, el Mailüfterl. Es crucial en la creación de la definición formal del lenguaje de programación PL/I. |
| 1938, 1945 | Zuse, Konrad | Construyó el primer ordenador digital libremente programable, el Z1. Construyó el primer ordenador controlado por el programa funcional, el Z3 en 1941. El Z3 ya usó lo que más tarde se conoció como la Notación Polaca Inversa, y se demostró ser Turing-complete en 1998. Produjo el primer ordenador comercial del mundo, el Z4. Diseñado el primer lenguaje de programación de alto nivel, Plankalkül. |
~ Los elementos marcados con una tilde son fechas aproximadas.
Más resultados...