Este artículo presenta 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 .
Pioneros
- Para poner la lista en orden cronológico, haga clic en el pequeño icono "arriba-abajo" en la columna Fecha. La columna Persona también se puede ordenar alfabéticamente, de arriba a abajo.
Fecha de logro | Persona | Logro |
---|---|---|
830 ~ | Al-Khwarizmi | El término " algoritmo " se deriva del algorismo , la técnica de realizar aritmética con números hindúes-arábigos popularizada por al-Khwarizmi en su libro Sobre el cálculo con números hindúes . [1] [2] [3] |
1944 | Aiken, Howard | Concebido y codesigned la Harvard Mark I . |
1970, 1989 | Allen, Frances E. | Desarrollo de gráficos de flujo de control de programas y notación vectorial de bits . Se convirtió en la primera mujer IBM Fellow en 1989. En 2006, se convirtió en la primera mujer en recibir el premio Turing de ACM . |
1939 | Atanasoff, John | Construyó la primera computadora digital electrónica, la Computadora Atanasoff-Berry , aunque no era ni programable ni Turing-completa . |
1822, 1837 | Babbage, Charles | Se originó el concepto de una computadora programable de propósito general. Diseñó el motor analítico y construyó un prototipo para una calculadora mecánica menos poderosa . |
1954, 1963 | Backus, John | Dirigió el equipo que creó FORTRAN ( Para Mula Tran slation), el primer lenguaje de programación de alto nivel práctico, y formuló la forma Backus-Naur que describe el lenguaje formal de sintaxis . |
1960-64 | Baran, Paul | Uno de los dos inventores independientes del concepto de conmutación de paquetes digitales utilizado en las redes informáticas modernas , incluida Internet . [4] [5] Baran publicó una serie de informes y artículos sobre la división de información en "bloques de mensajes" y su envío a través de redes distribuidas entre 1960 y 1964. [6] [7] |
1874 | Baudot, Émile | Un ingeniero telegráfico francés patenta el código Baudot , el primer medio de comunicación digital. [8] La unidad de velocidad del módem en baudios lleva su nombre. |
1989, 1990 | Berners-Lee, Tim | World Wide Web inventado . Con Robert Cailliau , envió la primera comunicación HTTP entre cliente y servidor. |
1966 | Böhm, Corrado | Teorizó sobre el concepto de programación estructurada . |
1847, 1854 | Boole, George | Álgebra booleana formalizada , la base de la lógica digital y la informática. |
1947 | Stand, Kathleen | Inventó el primer lenguaje ensamblador . |
1969, 1978 | Brinch Hansen, por | Desarrolló el sistema de multiprogramación RC 4000 que introdujo el concepto de un núcleo de sistema operativo y la separación de política y mecanismo, efectivamente la primera arquitectura de microkernel . [9] Co-desarrolló el monitor con Tony Hoare y creó la primera implementación del monitor. [10] Implementó la primera forma de llamada a procedimiento remoto en el RC 4000, [9] y fue el primero en proponer llamadas a procedimiento remoto como un concepto de estructuración para la computación distribuida . [11] |
1959, 1995 | Brooks, Fred | Gerente de proyectos IBM System / 360 y OS / 360 ; autor de The Mythical Man-Month . |
1908 | Brouwer, Luitzen Egbertus Jan | Fundada la lógica intuicionista que más tarde llegó a ser de uso frecuente en los asistentes de prueba . |
1930 | Bush, Vannevar | Pionero de la informática analógica. Creador del concepto Memex , que condujo al desarrollo del hipertexto . |
1951 | Caminer, David | Con John Pinkerton , desarrolló la computadora LEO , la primera computadora comercial, para J. Lyons and Co |
1978 | Cerf, Vint | Con Bob Kahn , diseñó el Protocolo de control de transmisión y el Protocolo de Internet ( TCP / IP ), los principales protocolos de comunicación de datos 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 de Chomsky , un descubrimiento que ha impactado directamente en la teoría del lenguaje de programación y otras ramas de la informática. |
1936 | Iglesia, Alonzo | Hizo contribuciones fundamentales a la informática teórica, específicamente en el desarrollo de la teoría de la computabilidad en forma de cálculo lambda . Independientemente de Alan Turing , formuló lo que ahora se conoce como Tesis de Church-Turing y demostró que la lógica de primer orden es indecidible . |
1962 | Clark, Wesley A. | Diseñó LINC , la primera computadora funcional reducida y con un precio para el usuario individual. Puesta en servicio en 1963, muchas de sus características se consideran prototipos de lo que serían elementos esenciales de las computadoras personales. |
1981 | Clarke, Edmund M. | Desarrollo de modelo de verificación y verificación formal de software y hardware junto con E. Allen Emerson . |
1970 | Codd, Edgar F. | Propuso y formalizó el modelo relacional de gestión de datos, base teórica de las bases de datos relacionales . |
1971 | Conway, Lynn | Arquitectura superescalar con programación de instrucción dinámica desordenada de múltiples problemas. |
1967 | Cook, Stephen | Formalizó la noción de completitud NP, lo que inspiró una gran cantidad de investigación en la teoría de la complejidad computacional . |
1965 | Cooley, James | Con John W. Tukey , creó la transformada rápida de Fourier . |
1965 | Davies, Donald | Uno de los dos inventores independientes del concepto de conmutación de paquetes digitales utilizado en las redes informáticas modernas , incluida Internet . [4] [12] Davies concibió y nombró el concepto de conmutación de paquetes en redes de comunicación de datos en 1965 y 1966. [13] [14] Muchas de las redes de conmutación de paquetes de área amplia construidas en la década de 1970, incluida ARPANET , eran similares "en casi todos los aspectos" a su diseño original de 1965. [15] |
1962 | Dahl, Ole-Johan | Con Kristen Nygaard , inventó el lenguaje orientado a proto-objetos SIMULA . |
1968 | Dijkstra, Edsger | Hizo avances en algoritmos, fue pionero y acuñó el término programación estructurada , inventó el semáforo y sugirió que la declaración GOTO debería considerarse dañina . |
1918 | Eccles, William y Jordan, Frank Wilfred | Los físicos británicos patentan el circuito de activación Eccles-Jordan. [16] El llamado flip-flop biestable , este circuito es un componente básico de todas las celdas de memoria digital . Construido a partir de tubos de vacío , su concepto fue esencial para el éxito de la computadora de descifrado de códigos Colossus . |
1943, 1951 | Eckert, J. Presper | Con John Mauchly , diseñó y construyó la ENIAC , la primera computadora moderna (totalmente electrónica, Turing completa), y la UNIVAC I , la primera computadora disponible comercialmente. |
1981 | Emerson, E. Allen | Desarrollo de modelo de verificación y verificación formal de software y hardware junto con Edmund M. Clarke . |
1963 | Engelbart, Douglas | Mejor conocido por inventar el mouse de la computadora (en un esfuerzo conjunto con Bill English ); como pionero de la interacción humano-computadora cuyo equipo de Augment desarrolló hipertexto , computadoras en red y precursores de las GUI . |
1973 | Thacker, Charles P. | Pionero en el diseño y realización de Xerox Alto , la primera computadora personal moderna, y además por sus contribuciones a Ethernet y Tablet PC. |
1971 | Faggin, Federico | Diseñó el primer microprocesador comercial ( Intel 4004 ). |
1974 | Feinler, Elizabeth | Su equipo definió un formato de archivo de texto simple para los nombres de host de Internet. La lista evolucionó hasta convertirse en el Sistema de nombres de dominio y su grupo se convirtió en la autoridad de nombres para los dominios de nivel superior de .mil, .gov, .edu, .org y .com. |
1943 | Flores, Tommy | Diseñó y construyó la Mark 1 y las diez computadoras Mark 2 Colossus mejoradas , los primeros dispositivos informáticos electrónicos, digitales y programables del mundo. |
1994 | Floyd, Sally | Fundó el campo de la gestión activa de colas y co-inventó la detección temprana aleatoria que se utiliza en casi todos los enrutadores de Internet. |
1879 | Frege, Gottlob | Lógica aristotélica extendida con cálculo de predicados de primer orden , independientemente de Charles Sanders Peirce , un precursor crucial en la teoría de la computabilidad . También es relevante para los primeros trabajos sobre inteligencia artificial , programación lógica . |
1880, 1898 | Sanders Peirce, Charles | Demostró 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 que Claude Shannon . Lógica aristotélica extendida con cálculo de predicados de primer orden , independientemente de Gottlob Frege , un precursor crucial en la teoría de la computabilidad . También es relevante para los primeros trabajos sobre inteligencia artificial , programación lógica . |
1985 | Furber, Stephen Sophie Wilson | Son conocidos por su trabajo en la creación de microprocesadores ARM de 32 bits RISC. [17] |
1958, 1961, 1967 | Ginsburg, Seymour | La minimización probada del circuito " no importa " no necesariamente produce resultados óptimos, demostró que el lenguaje de programación ALGOL no tiene contexto (vinculando así la teoría del lenguaje formal con el problema de la escritura del compilador ) e inventó la Teoría AFL . |
1931 | Gödel, Kurt | Demostró que la aritmética de Peano no podía ser lógicamente consistente y completa en el cálculo de predicados de primer orden . Church, Kleene y Turing desarrollaron los fundamentos de la teoría de la computación basándose en corolarios del trabajo de Gödel. |
1989 | Goldwasser, Shafi | Pruebas de conocimiento cero inventadas por Goldwasser, Micali y Rackoff . Goldwasser y Micali recibieron el premio Turing en 2012 por este y otros trabajos. |
2011 | Graham, Susan L. | Galardonado con la Medalla John von Neumann del IEEE 2009 por "contribuciones al diseño e implementación de lenguajes de programación y por su servicio ejemplar a la disciplina de la informática". |
1953 | Gris, franco | Físico e investigador de Bell Labs , desarrolló el código binario reflejado (RBC) o código Gray . [18] Las metodologías de Gray se utilizan para la detección y corrección de errores en sistemas de comunicaciones digitales, como QAM en redes de líneas de abonados digitales . |
1974, 2005 | Gris, Jim | Innovador en sistemas de bases de datos e implementación de procesamiento de transacciones . |
1986, 1990 | Grosz, Barbara [ ¿peso indebido? ] | Creó el primer modelo computacional de discurso , que estableció el campo de investigación e influyó en las tecnologías de procesamiento del lenguaje. También se desarrolló el modelo SharedPlans para la colaboración en sistemas multiagente . |
1988, 2015 | Gustafson, John | Probó la viabilidad de la computación paralela de forma experimental y teórica con 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 asíncrono, programación de prioridades, pruebas de extremo a extremo y capacidad de decisión humana en el ciclo, como pantallas de prioridad que luego se convirtieron en la base para el diseño de software ultra confiable. |
1950 | Hamming, Richard | Creado el campo matemático de código de corrección de errores , el código Hamming , matriz de Hamming , la ventana de Hamming , números de Hamming , esfera-embalaje (o Hamming obligado ), y la distancia de Hamming . [19] [20] Estableció el concepto de código perfecto. [21] [22] |
1972, 1973 | Thi, André Truong Trong y François Gernelle [ ¿peso indebido? ] | Invención del Micral N , el primer ordenador personal comercial sin kit basado en un microprocesador . |
1981, 1995, 1999 | Hejlsberg, Anders | Autor de Turbo Pascal mientras estuvo en Borland , el arquitecto jefe de Delphi y diseñador y arquitecto principal de C # en Microsoft. |
2008, 2012, 2018 | Hinton, Geoffrey | Popularizó y permitió el uso de redes neuronales artificiales y aprendizaje profundo , que se encuentran entre las herramientas más exitosas en los esfuerzos modernos de inteligencia artificial . Recibió el premio Turing en 2018 por los avances conceptuales y de ingeniería que han hecho de las redes neuronales profundas un componente crítico de la informática. [23] |
1961, 1969, 1978, 1980 | Hoare, COCHE | Desarrolló el lenguaje formal Comunicando Procesos Secuenciales (CSP), la lógica Hoare para verificar la corrección del programa y Quicksort . Contribuciones fundamentales a la definición y diseño de lenguajes de programación. |
1968 | Holberton, Betty | Escribió la primera combinación de ordenación de mainframe en Univac |
1889 | Hollerith, Herman | Ampliamente considerado como el padre del moderno procesamiento de datos de máquinas . Su invención de la máquina tabuladora de tarjetas perforadas marca el comienzo de la era de los sistemas de procesamiento de datos semiautomáticos . |
1952 | Hopper, Grace | Fue pionero en el trabajo sobre la necesidad de lenguajes de programación de alto nivel, que ella denominó programación automática , y escribió el compilador AO , que influyó mucho en el lenguaje COBOL . |
1997 | Hsu Feng-hsiung | El trabajo condujo a la creación de la computadora de ajedrez Deep Thought , y al arquitecto y diseñador principal de la computadora de ajedrez IBM Deep Blue que derrotó al actual Campeón Mundial de Ajedrez , Garry Kasparov , en 1997. |
1952 | Hurd, Cuthbert | Ayudó a International Business Machines Corporation a desarrollar su primera computadora de uso general, la IBM 701 . |
1945, 1953 | Huskey, Harry | Diseño inicial de computadoras que incluye contribuciones a las computadoras ENIAC , EDVAC , Pilot ACE , EDVAC , SEAC , SWAC y Bendix G-15 . El G-15 ha sido descrito como la primera computadora personal , que puede ser manejada por una sola persona. |
1954, 1962 | Iverson, Kenneth | Ayudó a establecer el primer curso de posgrado en ciencias de la computación (en Harvard ) e impartió ese curso; inventó el lenguaje de programación APL e hizo una contribución a la computación interactiva. |
1801 | Jacquard, Joseph Marie | Construyó y demostró el telar Jacquard , un telar mecanizado programable controlado por una cinta construida a partir de tarjetas perforadas. |
1206 | Al-Jazari | Máquinas programables inventadas , incluidos robots humanoides programables , [24] y el reloj del castillo , un reloj astronómico considerado la primera computadora analógica programable . [25] |
1953 | Spärck Jones, Karen [ ¿peso indebido? ] | Uno de los pioneros en la recuperación de información y el procesamiento del lenguaje natural . |
1970, 1990 | Karnaugh, Maurice | Inventor del mapa de Karnaugh , utilizado para la minimización de funciones lógicas. |
1973 | Karpinski, Jacek | Desarrolló el primer analizador diferencial que utilizó transistores y desarrolló uno de los primeros algoritmos de aprendizaje automático para el reconocimiento de caracteres e imágenes. También fue el inventor de uno de los primeros miniordenadores, el K-202 . |
1970 ~ | Kay, Alan | Fue pionero en muchas de las ideas en la raíz de los lenguajes de programación orientados a objetos, dirigió el equipo que desarrolló Smalltalk e hizo contribuciones fundamentales a la informática personal. |
1957 | Kirsch, Russell Gray | Mientras trabajaba para la Oficina Nacional de Normas (NBS), Kirsch utilizó un escáner de imágenes desarrollado recientemente para escanear y almacenar la primera fotografía digital . [26] La 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-1970 | Kleinrock, Leonard | Fue pionero en la aplicación de la teoría de las colas para modelar retrasos en redes de conmutación de mensajes en su doctorado. tesis en 1961-2, publicada como libro en 1964. [27] Posteriormente publicó varios de los trabajos estándar sobre el tema. A principios de la década de 1970, aplicó esta teoría para modelar el rendimiento de las redes de conmutación de paquetes . Kleinrock jugó un papel influyente en el desarrollo de ARPANET , el precursor de Internet . Su trabajo teórico sobre el enrutamiento jerárquico a fines de la década de 1970 con el estudiante Farouk Kamoun sigue siendo fundamental para el funcionamiento de Internet en la actualidad. |
1936 | Kleene, Stephen Cole | Trabajo pionero con Alonzo Church en el cálculo Lambda que primero sentó las bases de la teoría de la computación. |
1968, 1989 | Knuth, Donald | Escribió El arte de la programación informática y creó TeX . Acuñó el término "análisis de algoritmos" y hecho grandes contribuciones a ese campo, incluyendo la popularización de Big O notación . |
1974, 1978 | Lamport, Leslie | Algoritmos formulados para resolver muchos problemas fundamentales en sistemas distribuidos (por ejemplo, el algoritmo de panadería ). Desarrolló el concepto de reloj lógico , que permite la sincronización entre entidades distribuidas en función de los eventos a través de los cuales se comunican. Creado LaTeX . |
1951 | Lebedev, Sergei Alekseyevich | Diseñó de forma independiente la primera computadora electrónica en la Unión Soviética, MESM , en Kiev, Ucrania. |
1670 ~ | Leibniz, Gottfried | Hizo avances en lógica simbólica, como el Razonador de cálculo , que fueron muy influyentes en Gottlob Frege . Anticipó desarrollos posteriores en el cálculo de predicados de primer orden , que fueron cruciales para los fundamentos teóricos de la informática. |
1960 | Licklider, JCR | Comenzó la investigación de la interacción humano-computadora, lo que condujo a muchos avances en interfaces de computadora, 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, Ramón | Diseñó múltiples máquinas de representaciones simbólicas y fue pionero en las nociones de representación simbólica y manipulación para producir conocimiento, las cuales fueron importantes influencias en Leibniz . |
1852 | Lovelace, Ada | Matemática y escritora inglesa, principalmente conocida por su trabajo en la computadora mecánica de propósito general propuesta por Charles Babbage, la Máquina Analítica . 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 una máquina de este tipo. Como resultado, a menudo se la considera la primera en reconocer todo el 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 de la historia. El motor de Ludgate usaba la multiplicación como base (usando sus propios logaritmos irlandeses discretos ), tenía el primer multiplicador-acumulador (MAC), fue el primero en explotar un MAC para realizar la división, almacenó números como desplazamientos de varillas en lanzaderas y tenía varias otras novedades características, incluso para el control del programa. |
1971 | Martin-Löf, por | Publicó un borrador inicial sobre la teoría de tipos en la que se basan muchos asistentes de prueba . |
1943, 1951 | Mauchly, John | Con J. Presper Eckert , diseñó y construyó la ENIAC , la primera computadora moderna (totalmente electrónica, Turing completa), y la UNIVAC I , la primera computadora disponible comercialmente. También trabajó en BINAC (1949), EDVAC (1949), UNIVAC (1951) con Grace Hopper y Jean Bartik, para desarrollar las primeras computadoras con programas almacenados . |
1958 | McCarthy, John | LISP inventado , un lenguaje de programación funcional . |
1956, 2012 | McCluskey, Edward J. | Contribuciones fundamentales que dieron forma al diseño y prueba de sistemas digitales, incluido el primer algoritmo para la síntesis lógica digital, el método de minimización lógica de Quine-McCluskey. |
1986 | Meyer, Bertrand | Diseño desarrollado por contrato bajo la apariencia del lenguaje de programación Eiffel . |
1963 | Minsky, Marvin | Co-fundador del Laboratorio de Inteligencia Artificial en el Instituto Tecnológico de Massachusetts , autor de varios textos sobre la IA y la filosofía. Crítico del perceptrón . |
850 ~ | Banū Mūsā | Los hermanos Banū Mūsā escribieron el Libro de los dispositivos ingeniosos , donde describieron lo que parece ser la primera máquina programable , un flautista automático . [28] |
1950, 1960 | Nakamatsu Yoshirō | Inventó el primer disquete en la Universidad Imperial de Tokio en 1950, [29] [30] recibiendo una patente japonesa de 1952 [31] [32] y una patente estadounidense de 1958 por su invención de la hoja de disquete magnético , [33] y licenciada a Nippon Columbia en 1960 [34] e IBM en la década de 1970. [31] [29] |
2008 | Nakamoto, Satoshi | El creador o creadores anónimos de Bitcoin , la primera moneda digital peer-to-peer . El documento técnico de Nakamoto de 2008 introdujo el concepto de blockchain , una estructura de base de datos que permite una confianza total en el libro mayor de transacciones públicas descentralizado y distribuido de la criptomoneda. [35] |
1934, 1938 | Nakashima Akira | El ingeniero de NEC introdujo la teoría de circuitos de conmutación en documentos de 1934 a 1936, sentando las bases para el diseño de circuitos digitales , en computadoras digitales y otras áreas de la tecnología moderna. |
1960 | Naur, Peter | Editó el Informe revisado de ALGOL 60 , presentando el formulario Backus-Naur |
1945 | Neumann, John von | Formuló la arquitectura de von Neumann en la que se basan la mayoría de las computadoras modernas. |
1956 | Newell, Allen | Junto con JC Shaw [36] y Herbert Simon, los tres coescribieron The Logic Theorist, el primer programa de IA verdadero, en el primer lenguaje de procesamiento de listas, que influyó en LISP. |
1943 | Newman, Max | Instigó la producción de las computadoras Colossus en Bletchley Park . Después de la guerra, estableció el Laboratorio de Máquinas de Computación en la Universidad de Manchester, donde creó el proyecto que construyó la primera computadora con programa almacenado del mundo , el Manchester Baby . |
1962 | Nygaard, Kristen | Con Ole-Johan Dahl , inventó el lenguaje orientado a proto-objetos SIMULA . |
500 aC ~ | Pāṇini | La gramática sánscrita Ashtadhyayi fue sistematizada y técnica, utilizando métarulas, transformaciones y recursiones , un precursor de la teoría del lenguaje formal y la base de la forma Panini-Backus utilizada para describir los lenguajes de programación . |
1642 | Pascal, Blaise | Inventó la calculadora mecánica . |
1952 | Perlis, Alan | En Project Whirlwind , miembro del equipo que desarrolló el lenguaje de programación ALGOL y primer ganador del premio Turing |
1985 | Perlman, Radia | Inventó el Spanning Tree Protocol (STP), que es fundamental para la operación de puentes de red , mientras trabajaba para Digital Equipment Corporation . Ha realizado una investigación exhaustiva e innovadora, especialmente sobre cifrado y redes. Recibió el premio USENIX Lifetime Achievement Award en 2007, entre muchos otros. |
1964 | Perotto, Pier Giorgio [ ¿peso indebido? ] | Diseñador informático para Olivetti , diseñó una de las primeras calculadoras electrónicas programables , la Programma 101 [37] [38] [39] |
1932 | Péter, Rózsa | Publicó una serie de artículos que fundamentan la teoría de la recursividad como un área separada de investigación matemática, estableciendo las bases para la informática teórica. |
1995 | Picard, Rosalind [ ¿peso indebido? ] | Fundó la Computación Afectiva y sentó las bases para dotar a las computadoras de habilidades de inteligencia emocional. |
1936 | Publicar, Emil L. | Desarrolló la máquina Post como modelo de cálculo, independientemente de Turing. Conocido también por desarrollar tablas de verdad , el problema de correspondencia de Post se utiliza en la teoría de la recursividad, además de demostrar lo que se conoce como teorema de Post . |
1967-2011 | Ritchie, Dennis | Con Ken Thompson , fue pionero en el lenguaje de programación C y el sistema operativo de computadora Unix en Bell Labs. |
1958-1960 | Rosen, Saul | Diseñó el software de la primera computadora basada en transistores. También influyó en el lenguaje de programación ALGOL. |
1910 | Russell, Bertrand | Hizo contribuciones a la informática con su trabajo sobre lógica matemática (ejemplo: función de verdad ). Introdujo la noción de teoría de tipos . También introdujo el sistema de tipos (junto con Alfred North Whitehead ) en su trabajo, Principia Mathematica . |
1975 | Salton, Gerard [ ¿peso indebido? ] | Pionero de la recuperación automática de información , que propuso el modelo de espacio vectorial y el índice invertido . |
1962 | Sammet, Jean E. | Desarrolló el lenguaje de programación FORMAC . También fue la primera en escribir extensamente sobre la historia y la categorización de los lenguajes de programación en 1969, y se convirtió en la primera mujer presidenta de la Association for Computing Machinery en 1974. |
1963, 1973 | Sasaki Tadashi | Ingeniero agudo que concibió una CPU con microprocesador de un solo chip , presentando la idea a Busicom e Intel en 1968. Esto influyó en el primer microprocesador comercial, el Intel 4004 ; antes de Busicom, Intel era un fabricante de memorias. Tadashi Sasaki también desarrolló calculadoras LCD en Sharp. [40] |
1937, 1948 | Shannon, Claude | Fundó la teoría de la información y sentó las bases para el diseño práctico de circuitos digitales. |
1968, 1980 | Shima Masatoshi | Diseñó el Intel 4004 , el primer microprocesador comercial , [41] [42] así como los microprocesadores Intel 8080 , Zilog Z80 y Zilog Z8000 , y los chips Intel 8259 , 8255 , 8253 , 8257 y 8251 . [43] |
1956, 1957 | Simon, Herbert A. | Un politólogo y economista que fue pionero en la inteligencia artificial . Co-creador de los programas Logic Theory Machine y General Problem Solver . |
1972 | Stallman, Richard | Stallman lanzó el Proyecto GNU en septiembre de 1983 para crear un sistema operativo de computadora similar a Unix compuesto completamente de software libre. Con esto, también lanzó el movimiento del software libre. |
mil novecientos ochenta y dos | Stonebraker, Michael | Investigador del Laboratorio de Ciencias de la Computación e Inteligencia Artificial del MIT (CSAIL) que revolucionó el campo de los sistemas de gestión de bases de datos (DBMS) y fundó varias empresas de bases de datos de éxito. |
1979 | Stroustrup, Bjarne | C ++ inventado en Bell Labs |
1963 | Sutherland, Iván | Autor de Sketchpad , el antepasado de los programas modernos de dibujo asistido por computadora (CAD) y uno de los primeros ejemplos de programación orientada a objetos . |
1967 | Thompson, Ken | Creó el sistema operativo Unix , el lenguaje de programación B , el sistema operativo Plan 9 , la primera máquina en lograr una calificación de 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 móviles ad hoc; Implementé la primera red ad hoc inalámbrica en funcionamiento de computadoras portátiles en 1998 utilizando el sistema operativo Linux, radios Lucent WaveLan 802.11 y un nuevo protocolo de enrutamiento distribuido transparente a TCP / UDP / IP. |
1991 | Torvalds, Linus | Creó la primera versión del kernel de Linux . |
1912, 1914, 1920 | Torres Quevedo, Leonardo | En 1912, Leonardo Torres Quevedo construyó El Ajedrecista ( el ajedrecista ), una de las primeras máquinas autónomas capaces de jugar al ajedrez. A diferencia de The Turk y Ajeeb , operados por humanos , El Ajedrecista era un verdadero autómata construido para jugar al ajedrez sin la guía humana. Jugaba un final con tres piezas de ajedrez, moviendo automáticamente un rey blanco y una torre para dar jaque mate al rey negro movido por un oponente humano. En su obra Ensayos sobre Automática , publicada en 1914, Torres Quevedo formula lo que será una nueva rama de la ingeniería: la automatización . Este trabajo también incluyó aritmética de punto flotante . En 1920, Torres Quevedo fue el primero en la historia en construir una versión electromecánica temprana del motor analítico . |
1965 | Tukey, John W. | Con James Cooley , creó la transformada rápida de Fourier . Inventó el término "bit". [44] |
1936 | Turing, Alan | Hizo varias contribuciones fundamentales a la informática teórica, incluido el modelo computacional de la máquina de Turing , la concepción del concepto de programa almacenado y el diseño del diseño ACE de alta velocidad . Independientemente de Alonzo Church , formuló la tesis de Church-Turing y demostró que la lógica de primer orden es indecidible . También exploró las cuestiones filosóficas relativas a la inteligencia artificial , proponiendo lo que ahora se conoce como prueba de Turing . |
1950 ~ | Wang An | Hizo contribuciones clave al desarrollo de la memoria de núcleo magnético . |
1955, 1960, 1974 | Ware, Willis | Co-diseñador de JOHNNIAC . Comité presidido que desarrolló el Código de Prácticas de Información Justa y condujo a la Ley de Privacidad de 1974 . Vicepresidente de la Comisión de Estudio de Protección de la Privacidad. |
1968 | Wijngaarden, furgoneta Adriaan | Desarrollador de la gramática W utilizada por primera vez en la definición de ALGOL 68 |
1949 | Wilkes, Maurice | Se construyó la primera computadora práctica con programa almacenado ( EDSAC ) que se completó y se le atribuyeron las ideas de varias construcciones de lenguaje de programación de alto nivel. |
1970, 1978 | Wirth, Niklaus | Diseñó los lenguajes de programación Pascal , Modula-2 y Oberon . |
1875, 1875 | Verea, Ramón | Diseñó y patentó el multiplicador directo Verea , el primer multiplicador directo mecánico. |
1938, 1945 | Zuse, Konrad | Construyó la primera computadora digital programable libremente, la Z1 . Construyó la primera computadora funcional controlada por programa, la Z3 . [45] Se demostró que el Z3 era Turing completo en 1998. Produjo el primer ordenador comercial del mundo, el Z4 . Diseñó el primer lenguaje de programación de alto nivel, Plankalkül . |
1970 | Wilkinson, James H. | Investigación en análisis numérico para facilitar el uso de la computadora digital de alta velocidad, habiendo recibido un reconocimiento especial por su trabajo en cómputos en álgebra lineal y análisis de errores "hacia atrás". [46] |
1973 | Bachman, Charles | Contribuciones destacadas a la tecnología de bases de datos . [47] |
1976 | Rabin, Michael O. | El artículo conjunto "Autómatas finitos y sus problemas de decisión", [48] que introdujo la idea de máquinas no deterministas , que ha demostrado ser un concepto enormemente valioso. Su artículo clásico (Scott & Rabin) ha sido una fuente continua de inspiración para trabajos posteriores en este campo. [49] [50] |
1976 | Scott, Dana | El artículo conjunto "Autómatas finitos y sus problemas de decisión", [48] que introdujo la idea de máquinas no deterministas , que ha demostrado ser un concepto enormemente valioso. Su artículo clásico (Scott & Rabin) ha sido una fuente continua de inspiración para trabajos posteriores en este campo. [49] [50] |
1978 | Floyd, Robert W. | Tener una clara influencia sobre las metodologías para la creación de software eficiente y fiable, y ayudando a fundar los siguientes subcampos importantes de la informática : la teoría de análisis , los semántica de lenguajes de programación, automática verificación de programas , síntesis automática de programas y análisis de algoritmos . [51] |
1985 | Karp, Richard M. | Contribuciones a la teoría de algoritmos, incluido el desarrollo de algoritmos eficientes para el flujo de la red y otros problemas de optimización combinatoria, la identificación de la computabilidad en tiempo polinomial con la noción intuitiva de eficiencia algorítmica y, más notablemente, contribuciones a la teoría de NP-completitud . |
1986 | Hopcroft, John | Logros fundamentales en el diseño y análisis de algoritmos y estructuras de datos. |
1986 | Tarjan, Robert | Logros fundamentales en el diseño y análisis de algoritmos y estructuras de datos. |
1987 | Cocke, John | Contribuciones significativas en el diseño y teoría de compiladores, la arquitectura de grandes sistemas y el desarrollo de computadoras con conjuntos de instrucciones reducidos (RISC). |
1989 | Kahan, William | Contribuciones fundamentales al análisis numérico . Uno de los principales expertos en cálculos de punto flotante . Kahan se ha dedicado a "hacer que el mundo sea seguro para los cálculos numéricos". |
1989 | Corbató, Fernando J. | Trabajo pionero en la organización de los conceptos y liderando el desarrollo de los sistemas informáticos de uso compartido , a gran escala, de tiempo compartido y de recursos compartidos, CTSS y Multics . |
1991 | Milner, Robin | 1) LCF , la mecanización de la lógica de funciones computables de Scott, probablemente la primera herramienta teórica pero práctica para la construcción de pruebas asistida por máquina ; 2) ML , el primer lenguaje que incluye la inferencia de tipos polimórficos junto con un mecanismo de tratamiento de excepciones con seguridad de tipos ; 3) CCS , una teoría general de concurrencia . Además, formuló y avanzó con fuerza la abstracción completa , el estudio de la relación entre la semántica operacional y denotacional . [52] |
1992 | Lampson, mayordomo W. | Desarrollo de entornos de computación personal distribuida 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 . |
1993 | Hartmanis, Juris | Fundamentos del campo de la teoría de la complejidad computacional . [53] |
1993 | Stearns, Richard E. | Fundamentos del campo de la teoría de la complejidad computacional . [53] |
1994 | Feigenbaum, Edward | Pioneros en el diseño y construcción de sistemas de inteligencia artificial a gran escala, demostrando la importancia práctica y el impacto comercial potencial de la tecnología de inteligencia artificial. [54] |
1994 | Reddy, Raj | Pioneros en el diseño y construcción de sistemas de inteligencia artificial a gran escala, demostrando la importancia práctica y el impacto comercial potencial de la tecnología de inteligencia artificial. [54] |
1995 | Blum, Manuel | Contribuciones a los fundamentos de la teoría de la complejidad computacional y su aplicación a la criptografía y la verificación de programas . [55] |
1996 | Pnueli, Amir | Introducción de la lógica temporal en la ciencia de la computación y por sus destacadas contribuciones a la verificación de programas y sistemas . [56] |
2000 | Yao, Andrew | Contribuciones fundamentales a la teoría de la computación , incluida la teoría basada en la complejidad de la generación de números pseudoaleatorios , la criptografía y la complejidad de la comunicación . |
1977 | Rivest, Ron | Contribución ingeniosa y haciendo que la criptografía de clave pública sea útil en la práctica. |
1977 | Shamir, Adi | Contribución ingeniosa y haciendo que la criptografía de clave pública sea útil en la práctica. |
1977 | Adleman, Leonard | Contribución ingeniosa y haciendo que la criptografía de clave pública sea útil en la práctica. |
1978 | Kahn, Bob | Diseñó el Protocolo de control de transmisión y el Protocolo de Internet ( TCP / IP ), los principales protocolos de comunicación de datos de Internet y otras redes informáticas . |
2007 | Sifakis, José | Desarrollo de la verificación de modelos en una tecnología de verificación altamente eficaz, ampliamente adoptada en las industrias de hardware y software. [57] |
2010 | Valiente, Leslie | Contribuciones transformadoras a la teoría de la computación , incluida la teoría del aprendizaje probablemente aproximadamente correcto ( PAC ), la complejidad de la enumeración y del cálculo algebraico, y la teoría de la computación paralela y distribuida. |
2011 | Perla, Judea | Contribuciones fundamentales a la inteligencia artificial mediante el desarrollo de un cálculo para el razonamiento probabilístico y causal. [58] |
1976 | Hellman, Martín | Contribuciones fundamentales a la criptografía moderna. El innovador artículo de 1976 de Diffie y Hellman, "New Directions in Cryptography", [59] introdujo las ideas de la criptografía de clave pública y las firmas digitales, que son la base de la mayoría de los protocolos de seguridad utilizados en Internet en la actualidad. [60] |
1976 | Diffie, Whitfield | Contribuciones fundamentales a la criptografía moderna. El innovador artículo de 1976 de Diffie y Hellman, "New Directions in Cryptography", [59] introdujo las ideas de la criptografía de clave pública y las firmas digitales, que son la base de la mayoría de los protocolos de seguridad utilizados en Internet en la actualidad. [61] |
2018 | Bengio, Yoshua , Hinton Geoffrey , Lecun Yann | Avances conceptuales y de ingeniería que han hecho de las redes neuronales profundas un componente crítico de la informática. [23] |
2012 | Silvio Micali | Para un trabajo transformador que sentó las bases de la teoría de la complejidad para la ciencia de la criptografía y, en el proceso, fue pionero en nuevos métodos para la verificación eficiente de pruebas matemáticas en la teoría de la complejidad. |
2017 | John L. Hennessy | Por ser pioneros en un enfoque sistemático y cuantitativo para el diseño y la evaluación de arquitecturas informáticas con un impacto duradero en la industria de los microprocesadores. |
2017 | David Patterson | Por ser pioneros en un enfoque sistemático y cuantitativo para el diseño y la evaluación de arquitecturas informáticas con un impacto duradero en la industria de los microprocesadores. |
2019 | Edwin Catmull | Por contribuciones fundamentales a los gráficos por computadora en 3-D y el impacto revolucionario de estas técnicas en las imágenes generadas por computadora (CGI) en la realización de películas y otras aplicaciones. |
2019 | Pat Hanrahan | Por contribuciones fundamentales a los gráficos por computadora en 3-D y el impacto revolucionario de estas técnicas en las imágenes generadas por computadora (CGI) en la realización de películas y otras aplicaciones. |
~ Los elementos marcados con una tilde son fechas cercanas.
Ver también
- Premio al pionero de la informática
- Medalla IEEE John von Neumann
- Premio Grace Murray Hopper
- Lista de premios de informática
- Lista de informáticos
- Lista de pioneros de Internet
- Lista de personas consideradas padre o madre de un campo § Informática
- Lista de desarrolladores de TI rusos
- Lista de miembros del Salón de la Fama Internacional de Mujeres en Tecnología
- El hombre que inventó la computadora (libro de 2010)
- Cronología de la informática
- Premio Turing
- Mujeres en informática
Referencias
- ^ Mario Tokoro, ed. (2010). "9". e: De la comprensión de los principios a la resolución de problemas . págs. 223–224. ISBN 978-1-60750-468-9.
- ^ Cristopher Moore; Stephan Mertens (2011). La naturaleza de la computación . Prensa de la Universidad de Oxford. pag. 36. ISBN 978-0-19-162080-5.
- ^ AP Ershov, Donald Ervin Knuth, ed. (1981). Algoritmos en matemáticas e informática modernas: procedimientos, Urgench, RSS de Uzbekistán, 16 al 22 de septiembre de 1979 . Saltador. ISBN 978-3-540-11157-3.
- ^ a b "La verdadera historia de cómo Internet se volvió tan vulnerable" . Washington Post . 30 de mayo de 2015. Archivado desde el original el 30 de mayo de 2015 . Consultado el 18 de febrero de 2020 .
Los historiadores atribuyen conocimientos fundamentales al científico galés Donald W. Davies y al ingeniero estadounidense Paul Baran
- ^ "Detalles del miembro del jurado - Paul Baran" . Salón de la Fama de los Inventores Nacionales. Archivado desde el original el 6 de septiembre de 2017 . Consultado el 6 de septiembre de 2017 .
- ^ Baran, Paul (2002). "Los inicios de la conmutación de paquetes: algunos conceptos subyacentes" (PDF) . Revista de comunicaciones IEEE . 40 (7): 42–48. doi : 10.1109 / MCOM.2002.1018006 . ISSN 0163-6804 .
Básicamente, todo el trabajo se definió en 1961 y se desarrolló y puso en forma formal por escrito en 1962. La idea del enrutamiento de la papa caliente data de fines de 1960.
- ^ Mónica, 1776 Main Street Santa; California 90401-3208. "Paul Baran y los orígenes de Internet" . www.rand.org . Consultado el 15 de febrero de 2020 .
- ^ "Jean-Maurice- Emile Baudot. Système de télégraphie rapide, junio de 1874. Brevet 103.898; Fuente: Archives Institut National de la Propriété Industrielle (INPI)" .
- ^ a b "Per Brinch Hansen • IEEE Computer Society" . Computer.org . Consultado el 15 de diciembre de 2015 .
- ^ Brinch Hansen, Per (abril de 1993). "Monitores y Pascal concurrente: una historia personal" (PDF) . II Congreso ACM sobre Historia de los Lenguajes de Programación .
- ^ Brinch Hansen, Per (noviembre de 1978). "Procesos distribuidos: un concepto de programación concurrente" (PDF) . Comunicaciones de la ACM . 21 (11): 934–941. CiteSeerX 10.1.1.107.3108 . doi : 10.1145 / 359642.359651 . S2CID 11610744 .
- ^ "Detalles de los miembros - Donald Watts Davies" . Salón de la Fama de los Inventores Nacionales. Archivado desde el original el 6 de septiembre de 2017 . Consultado el 6 de septiembre de 2017 .
- ^ Roberts, Dr. Lawrence G. (noviembre de 1978). "La evolución de la conmutación de paquetes" . Archivado desde el original el 24 de marzo de 2016 . Consultado el 5 de septiembre de 2017 .
Casi inmediatamente después de la reunión de 1965, Donald Davies concibió los detalles de un sistema de conmutación de paquetes de almacenamiento y reenvío.
; Roberts, Dr. Lawrence G. (mayo de 1995). "ARPANET y redes informáticas" . Archivado desde el original el 24 de marzo de 2016 . Consultado el 13 de abril de 2016 .Luego, en junio de 1966, Davies escribió un segundo documento interno, "Propuesta para una red de comunicación digital", en el que acuñó la palabra paquete, una pequeña parte del mensaje que el usuario desea enviar, y también introdujo el concepto de " Interfaz de computadora "para ubicarse entre el equipo de usuario y la red de paquetes.
- ^ Donald Davies (2001), "Un estudio histórico de los inicios del cambio de paquetes" , Computer Journal, British Computer Society[ enlace muerto ]
- ^ Roberts, Dr. Lawrence G. (noviembre de 1978). "La evolución de la conmutación de paquetes" (PDF) . Documento invitado por IEEE . Consultado el 10 de septiembre de 2017 .
En casi todos los aspectos, la propuesta original de Davies, desarrollada a finales de 1965, era similar a las redes reales que se están construyendo hoy.
- ^ William Henry Eccles y Frank Wilfred Jordan, "Mejoras en relés iónicos" Número de patente británica: GB 148582 (presentada: 21 de junio de 1918; publicada: 5 de agosto de 1920). Disponible en línea en: http://v3.espacenet.com/origdoc?DB=EPODOC&IDX=GB148582&F=0&QPN=GB148582 .
- ^ "Museo de Historia de la Computación | Premios Fellow - Steve Furber" . Archivado desde el original el 2 de abril de 2013.
- ^ Gray, Frank (17 de marzo de 1953). "Comunicación por impulsos codificados" (PDF) .Patente de EE. UU. Núm. 2.632.058
- ^ Morgan 1998 , págs. 973–975.
- ^ Hamming , 1950 , págs. 147-160.
- ^ Ling y Xing , 2004 , págs. 82–88.
- ^ Pless 1982 , págs. 21-24.
- ^ a b Los padres de la revolución del aprendizaje profundo reciben el premio ACM AM Turing
- ^ "artículos58" . Shef.ac.uk . 29 de junio de 2007. Archivado desde el original el 29 de junio de 2007 . Consultado el 25 de octubre de 2017 .
- ^ "Antiguos descubrimientos, episodio 11: Robots antiguos" . Canal de Historia . Consultado el 6 de septiembre de 2008 .
- ^ Kirsch, Russell A., "Procesamiento de imágenes más temprano" , Museo NISTS; SEAC y el inicio del procesamiento de imágenes en la Oficina Nacional de Estándares , Instituto Nacional de Estándares y Tecnología , archivado desde el original el 19 de julio de 2014
- ^ Kleinrock, Leonard (1961), "Flujo de información en grandes redes de comunicación", Informe de progreso trimestral de RLE (1)
- ^ Koetsier, Teun (2001). "Sobre la prehistoria de las máquinas programables: autómatas musicales, telares, calculadoras". Teoría de Mecanismos y Máquinas . 36 (5): 589–603. doi : 10.1016 / S0094-114X (01) 00005-2 .
- ^ a b G. WA Dummer (1997), Invenciones y descubrimientos electrónicos , página 164 , Instituto de Física
- ^ Valerie-Anne Giscard d'Estaing (1990), El libro de inventos y descubrimientos , página 124, Queen Anne Press
- ^ a b Lazarus, David (10 de abril de 1995). " ' Edison de Japón' es el rey de los gadgets del país: inventor japonés tiene récord de patente" . The New York Times . Consultado el 21 de diciembre de 2010 .
- ^ YOSHIRO NAKAMATSU - THE THOMAS EDISON OF JAPAN , Stellarix Consultancy Services, 2015
- ^ Hoja de registro magnética , patente US3131937
- ^ Artes gráficas de Japón , volumen 2 (1960), páginas 20-22
- ^ Nakamoto, Satoshi (24 de mayo de 2009). " " Bitcoin: un sistema de efectivo electrónico de igual a igual "(PDF)" (PDF) . bitcoin.org .
- ^ Fred Joseph Gruenberger, La historia del JOHNNIAC , Memorando RAND 5654
- ^ "Calculadora electrónica Olivetti Programma 101" . Museo Web de la Calculadora Vieja .
técnicamente, la máquina era una calculadora programable, no una computadora.
- ^ "2008/107/1 Computadora, Programma 101 y documentos (3), plástico / metal / papel / componentes electrónicos, arquitecto de hardware Pier Giorgio Perotto, diseñado por Mario Bellini, hecho por Olivetti, Italia, 1965-1971" . www.powerhousemuseum.com . Consultado el 20 de marzo de 2016 .
- ^ "Calculadora electrónica Olivetti Programma 101" . Museo Web de la Calculadora Vieja .
Parece que la calculadora Mathatronics Mathatron precedió [ sic ] a la Programma 101 en el mercado.
- ^ Aspray, William (25 de mayo de 1994). "Historia oral: Tadashi Sasaki" . Entrevista # 211 para el Centro de Historia de la Ingeniería Eléctrica . El Instituto de Ingenieros Eléctricos y Electrónicos, Inc . Consultado el 2 de enero de 2013 .
- ^ Nigel Tout. "La calculadora Busicom 141-PF y el microprocesador Intel 4004" . Consultado el 15 de noviembre de 2009 .
- ^ Federico Faggin , La fabricación del primer microprocesador , Revista de circuitos de estado sólido IEEE , invierno de 2009, IEEE Xplore
- ^ Japón, Sociedad de Procesamiento de la Información de. "Museo Shima Masatoshi-Computer" . museum.ipsj.or.jp . Consultado el 25 de octubre de 2017 .
- ^ Claude Shannon (1948). "Revista técnica de Bell System". Revista técnica de Bell System .
- ^ Copeland, B. Jack (25 de octubre de 2017). Zalta, Edward N. (ed.). La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford . Consultado el 25 de octubre de 2017 , a través de la Enciclopedia de Filosofía de Stanford.
- ^ Wilkinson, JH (1971). "Algunos comentarios de un analista numérico". Revista de la ACM . 18 (2): 137-147. doi : 10.1145 / 321637.321638 . S2CID 37748083 .
- ^ Bachman, CW (1973). "El programador como navegador" . Comunicaciones de la ACM . 16 (11): 653–658. doi : 10.1145 / 355611.362534 .
- ^ a b Rabin, MO; Scott, D. (1959). "Autómatas finitos y sus problemas de decisión" . Revista de investigación y desarrollo de IBM . 3 (2): 114. doi : 10.1147 / rd.32.0114 . S2CID 3160330 .
- ^ a b Rabin, MO (1977). "Complejidad de cálculos" . Comunicaciones de la ACM . 20 (9): 625–633. doi : 10.1145 / 359810.359816 .
- ^ a b Scott, DS (1977). "Lenguajes de lógica y programación" . Comunicaciones de la ACM . 20 (9): 634–641. doi : 10.1145 / 359810.359826 .
- ^ Floyd, RW (1979). "Los paradigmas de la programación" . Comunicaciones de la ACM . 22 (8): 455–460. doi : 10.1145 / 359138.359140 .
- ^ Milner, R. (1993). "Elementos de interacción: conferencia premio Turing" . Comunicaciones de la ACM . 36 : 78–89. doi : 10.1145 / 151233.151240 .
- ^ a b Stearns, RE (1994). "Conferencia del premio Turing: es hora de reconsiderar el tiempo" . Comunicaciones de la ACM . 37 (11): 95–99. doi : 10.1145 / 188280.188379 .
- ^ a b Reddy, R. (1996). "Soñar el sueño posible" . Comunicaciones de la ACM . 39 (5): 105-112. doi : 10.1145 / 229459.233436 .
- ^ "Premio AM Turing Laureado - Manuel Blum" . amturing.acm.org . Consultado el 4 de noviembre de 2018 .
- ^ "Galardonado con el premio AM Turing - Amir Pnueli" . amturing.acm.org . Consultado el 4 de noviembre de 2018 .
- ^ Se anuncian los ganadores del premio Turing 2007
- ^ "Perla de Judea" . ACM.
- ^ a b Diffie, W .; Hellman, M. (1976). "Nuevas direcciones en criptografía" (PDF) . Transacciones IEEE sobre teoría de la información . 22 (6): 644–654. CiteSeerX 10.1.1.37.9720 . doi : 10.1109 / TIT.1976.1055638 .
- ^ "Los pioneros de la criptografía reciben el premio ACM AM Turing 2015" . ACM.
- ^ "Los pioneros de la criptografía reciben el premio ACM AM Turing 2015" . ACM.
Fuentes
- Hamming, Richard W. (1950). "Códigos de detección y corrección de errores" (PDF) . Revista técnica de Bell System . 29 (2): 147–160. doi : 10.1002 / j.1538-7305.1950.tb00463.x . Señor 0035935 . Archivado desde el original (PDF) el 25 de mayo de 2006.
- Ling, San; Xing, Chaoping (2004). Teoría de la codificación: un primer curso . Cambridge: Cambridge University Press. ISBN 978-0-521-82191-9.
- Pless, Vera (1982). Introducción a la teoría de los códigos de corrección de errores . Nueva York: Wiley. ISBN 978-0-471-08684-0.
- Morgan, Samuel P. (septiembre de 1998). "Richard Wesley Hamming (1915-1998)" (PDF) . Avisos del AMS . 45 (8): 972–977. ISSN 0002-9920 . Consultado el 30 de agosto de 2014 .
enlaces externos
- Pioneros de la Computación del Museo Virtual de Computación
- Pioneros de internet