Lista de pioneros en informática - List of pioneers in computer science

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
1977 Adleman, Leonard Contribución ingeniosa y haciendo que la criptografía de clave pública sea útil en la práctica.
1944 Aiken, Howard Concebido y codesigned la Harvard Mark I .
830 ~ Al-Khwarizmi El término " algoritmo " se deriva del algoritmo , la técnica de realizar aritmética con indo-arábigos números popularizados por al-Khwarizmi en su libro en el cálculo con números hindúes .
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 de propósito general programable. Diseñó el motor analítico y construyó un prototipo para una calculadora mecánica menos poderosa .
1973 Bachman, Charles Contribuciones destacadas a la tecnología de bases de datos .
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 .
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 .
1960-1964 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 . 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.
1874 Baudot, Émile Un ingeniero telegráfico francés patenta el código Baudot , el primer medio de comunicación digital. La unidad de velocidad del módem en baudios lleva su nombre.
1960 Bauer, Friedrich L. Propuso la pila para la evaluación de expresiones, con Edsger W. Dijkstra . Tuvo influencia en el establecimiento de la informática como una disciplina científica independiente, se acuñó el término ingeniería de software . Contribuyó al análisis numérico , fundamentos de interpretación y traducción de lenguajes de programación, sistemática del desarrollo de programas, transformación de programas y criptología .
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.
1989, 1990 Berners-Lee, Tim World Wide Web inventado . Con Robert Cailliau , envió la primera comunicación HTTP entre cliente y servidor.
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 .
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 . Co-desarrolló el monitor con Tony Hoare y creó la primera implementación del monitor. Implementó la primera forma de llamada a procedimiento remoto en el RC 4000 y fue el primero en proponer llamadas a procedimiento remoto como un concepto de estructuración para la computación distribuida .
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 .
1954 Burks, Arthur Notación polaca inversa propuesta con Don Warren y Jesse Wright, una notación que posteriormente reinventaron de forma independiente Friedrich L. Bauer y Edsger W. Dijkstra para su uso con pilas .
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
2019 Catmull, Edwin Por las 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.
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 .
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).
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 .
1989 Corbató, Fernando J. Trabajo pionero en la organización de conceptos y liderazgo en el desarrollo de los sistemas informáticos de uso compartido , a gran escala, de tiempo compartido y de recursos compartidos, CTSS y Multics .
1964-1996 Cray, Seymour Diseñó una serie de computadoras que fueron las más rápidas del mundo durante décadas y fundó Cray Research, que construyó muchas de estas máquinas. Llamado "el padre de la supercomputación", a Cray se le atribuye la creación de la industria de las supercomputadoras.
1962 Dahl, Ole-Johan Con Kristen Nygaard , inventó el lenguaje orientado a proto-objetos SIMULA .
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 . Davies concibió y nombró el concepto de redes de comunicación de datos en 1965 y 1966. 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.
1976 Diffie, Whitfield Contribuciones fundamentales a la criptografía moderna. El innovador artículo de 1976 de Diffie y Hellman, "Nuevas direcciones en criptografía", presentó las ideas de la criptografía de clave pública y las firmas digitales, que son la base de los protocolos de seguridad más utilizados en Internet en la actualidad.
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. 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 .
1971 Faggin, Federico Diseñó el primer microprocesador comercial ( Intel 4004 ).
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.
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.
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 .
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 .
1985 Furber, Stephen
Sophie Wilson 		Son conocidos por su trabajo en la creación de microprocesadores ARM RISC de 32 bits.
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 está libre de 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 . 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 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 . Estableció el concepto de código perfecto.
1956, 1958, 1974 Händler, Wolfgang Trabajos pioneros en teoría de autómatas , computación paralela , inteligencia artificial , interfaces hombre-máquina y gráficos por computadora . Uno de los arquitectos principales del superordenador TR 4  [ de ] . Diagramas de Händler inventados para la minimización de funciones lógicas . Diseñó el Sistema de Clasificación Erlangen  [ de ] (ECS) para computadoras paralelas.
2019 Hanrahan, Pat Por las 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.
1993 Hartmanis, Juris Fundamentos del campo de la teoría de la complejidad computacional .
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.
1976 Hellman, Martín Contribuciones fundamentales a la criptografía moderna. El innovador artículo de 1976 de Diffie y Hellman, "Nuevas direcciones en criptografía", presentó las ideas de la criptografía de clave pública y las firmas digitales, que son la base de los protocolos de seguridad más utilizados en Internet en la actualidad.
2017 Hennessy, John L. 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.
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.
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 .
1986 Hopcroft, John Logros fundamentales en el diseño y análisis de algoritmos y estructuras de datos.
1952 Tolva, gracia 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 Huffman, David Conocido por la codificación de Huffman .
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 , y el reloj del castillo , un reloj astronómico considerado la primera computadora analógica programable .
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".
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 .
1952, 1953 Karnaugh, Maurice Creador del mapa de Karnaugh , una variación de Edward Veitch 's diagrama de Veitch y redescubrimiento de Allan Marquand es mucho anterior diagrama lógico - Se utiliza para la minimización de la función lógica .
1985 Karp, Richard M. Contribuciones a la teoría de algoritmos, incluido el desarrollo de algoritmos eficientes para el flujo de 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 .
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.
1972-1994 Kildall, Gary Introdujo la teoría del análisis de flujo de datos en la optimización de compiladores (optimización de expresión global, método de Kildall ). Trabajé en emuladores de conjuntos de instrucciones ( INTERP ), encontré un método de reubicación de software innovador ( reubicación de límites de página ) y sentó las bases para los conceptos de recompilación binaria ( XLT86 ). Desarrolló el primer lenguaje de programación y compilador de alto nivel para microcomputadoras ( PL / M ) y el primer sistema operativo convencional para microcomputadoras ( CP / M ). Inventó el concepto de una capa de abstracción de hardware llamada BIOS , y ambas sentaron conceptualmente las bases de todos los sistemas operativos basados ​​en DOS en computadoras personales . Trabajó en esquemas de almacenamiento en búfer de pistas de disquete , algoritmos de lectura anticipada , unidades de disco virtual y almacenamiento en caché del sistema de archivos . Desarrolló la primera interfaz de computadora para discos de video y fue pionero en los sistemas de archivos de CD-ROM , presentando la primera enciclopedia para computadoras ( The Electronic Encyclopedia ). Fue pionero en un sistema de comunicación PBX modular que integra líneas terrestres con teléfonos móviles ( Intelliphone ) y para conectarse de forma remota con electrodomésticos .
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 . 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-1962, publicada como libro en 1964. Posteriormente, publicó varios de los libros canónicos 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 .
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 .
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 usó la multiplicación como base (usando sus propios logaritmos irlandeses discretos ), tuvo 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, Per 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 las pruebas 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 .
2012 Micali, Silvio 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.
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 .
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 .


1950, 1960 Nakamatsu Yoshirō Inventó el primer disquete en la Universidad Imperial de Tokio en 1950, recibió una patente japonesa de 1952 y una patente estadounidense de 1958 por su invención de hoja de disquete magnético , y obtuvo la licencia de Nippon Columbia en 1960 e IBM en la década de 1970.
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.
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 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 .
2017 Patterson, David 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.
2011 Perla, Judea Contribuciones fundamentales a la inteligencia artificial mediante el desarrollo de un cálculo para el razonamiento probabilístico y causal.
1952 Perlis, Alan En Project Whirlwind , miembro del equipo que desarrolló el lenguaje de programación ALGOL y el 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 Diseñador de computadoras para Olivetti , diseñó una de las primeras calculadoras electrónicas programables , la Programma 101
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, lo que sienta las bases para la informática teórica.
1995 Picard, Rosalind Fundó la Computación Afectiva y sentó las bases para dotar a las computadoras de habilidades de inteligencia emocional.
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 .
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 .
1976 Rabin, Michael O. El documento conjunto "Autómatas finitos y sus problemas de decisión", 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.
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.
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.
1977 Rivest, Ron Contribución ingeniosa y haciendo que la criptografía de clave pública sea útil en la práctica.
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 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.
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 .
1976 Scott, Dana El documento conjunto "Autómatas finitos y sus problemas de decisión", 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.
1977 Shamir, Adi Contribución ingeniosa y haciendo que la criptografía de clave pública sea útil en la práctica.
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.
1971 Shima Masatoshi Diseñó 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, 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.
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 .
1953 Spärck Jones, Karen Uno de los pioneros en la recuperación de 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 de computadora similar a Unix compuesto completamente de software libre. Con esto, también lanzó el movimiento del software libre.
1993 Stearns, Richard E. Fundamentos del campo de la teoría de la complejidad computacional .
1981 Stepanov, Alejandro Stepanov es uno de los pioneros en lo que respecta a la programación genérica y también es el principal diseñador e implementador de la biblioteca de plantillas estándar C ++ .
1937, 1941 Stibitz, George R. Padre de la informática digital moderna y la entrada de trabajo remota . Acuñó el término "digital". Descubrió el código binario reflejado conocido como código Gray . El código Excess-3 también lleva su nombre ( código Stibitz ).
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 exitosas.
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 .
1986 Tarjan, Robert Logros fundamentales en el diseño y análisis de algoritmos y estructuras de datos.
1973 Thacker, Charles P. Diseño y realización pioneros de Xerox Alto , la primera computadora personal moderna, y además por sus contribuciones a Ethernet y Tablet PC.
1972, 1973 Thi, André Truong Trong y François Gernelle Invención del Micral N , el primer ordenador personal comercial, sin kit, basado en un microprocesador .
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.
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 .
1991 Torvalds, Linus Creó la primera versión del kernel de Linux .
1965 Tukey, John W. Con James Cooley , creó la transformada rápida de Fourier . Inventó el término "bit".
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 .
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.
1875, 1875 Verea, Ramón Diseñó y patentó el multiplicador directo Verea , el primer multiplicador directo mecánico.
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.
1964, 1966 Weizenbaum, José Uno de los padres de la inteligencia artificial moderna . Creador del programa ELIZA que utiliza el procesamiento del lenguaje natural para emular conversaciones con un psicólogo .
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 Wilkinson, James H. Investiga 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".
1970, 1978 Wirth, Niklaus Diseñó los lenguajes de programación Pascal , Modula-2 y Oberon .
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 .
1955-1958 Zemanek, Heinz Desarrolló una de las primeras computadoras completamente transistorizadas, Mailüfterl . Crucial en la creación de la definición formal del lenguaje de programación PL / I .
1938, 1945 Zuse, Konrad Construyó la primera computadora digital programable libremente, la Z1 . Construyó la primera computadora funcional controlada por programa, la Z3 . 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 .

~ Los elementos marcados con una tilde son fechas cercanas.

Ver también

Referencias

Fuentes

enlaces externos