Lista de pioneiros em ciência da computação - List of pioneers in computer science

Este artigo apresenta uma lista de indivíduos que fizeram descobertas transformadoras na criação, desenvolvimento e imaginação do que os computadores poderiam fazer.

Pioneiros

Para colocar a lista em ordem cronológica, clique no pequeno ícone "cima-baixo" na coluna Data. A coluna Pessoa também pode ser classificada em ordem alfabética, de cima para baixo.

Data de realização		 Pessoa Realização
1977 Adleman, Leonard Contribuição engenhosa e tornando a criptografia de chave pública útil na prática.
1944 Aiken, Howard Concebido e codesigned o Harvard Mark I .
830 ~ Al-Khwarizmi O termo " algoritmo " é derivado do algoritmo , a técnica de realizar aritmética com numerais hindu-arábicos popularizada por al-Khwarizmi em seu livro On the Calculation with Hindu Numerals .
1970, 1989 Allen, Frances E. Notação vetorial de bits desenvolvida e gráficos de fluxo de controle de programa . Tornou-se a primeira mulher IBM Fellow em 1989. Em 2006, ela se tornou a primeira mulher a receber o Prêmio Turing da ACM .
1939 Atanasoff, John Construiu o primeiro computador digital eletrônico, o Atanasoff – Berry Computer , embora não fosse programável nem completo de Turing .
1822, 1837 Babbage, Charles Originou o conceito de computador programável de uso geral. Projetou o mecanismo analítico e construiu um protótipo para uma calculadora mecânica menos potente .
1973 Bachman, Charles Contribuições notáveis ​​para a tecnologia de banco de dados .
1954, 1963 Backus, John Liderou a equipe que criou FORTRAN ( For mula Tran slation), a primeira linguagem de programação prática de alto nível, e formulou a forma Backus-Naur que descrevia a sintaxe formal da linguagem .
850 ~ Banū Mūsā Os irmãos Banū Mūsā escreveram o Livro de Dispositivos Engenhosos , onde descreveram o que parece ser a primeira máquina programável , um tocador de flauta automático .
1960-1964 Baran, Paul Um dos dois inventores independentes do conceito de comutação digital de pacotes usado em redes de computadores modernas, incluindo a Internet . Baran publicou uma série de briefings e artigos sobre como dividir informações em "blocos de mensagens" e enviá-las por redes distribuídas entre 1960 e 1964.
1874 Baudot, Émile Um engenheiro telegráfico francês patenteia o código Baudot , o primeiro meio de comunicação digital. O baud da unidade de velocidade do modem tem o seu nome.
Década de 1960 Bauer, Friedrich L. Proposta a pilha para avaliação de expressão, com Edsger W. Dijkstra . Teve influência no estabelecimento da ciência da computação como uma disciplina científica independente, cunhou o termo engenharia de software . Contribuiu com análise numérica , fundamentos de interpretação e tradução de linguagens de programação, sistemática de desenvolvimento de programas, transformação de programas e criptologia .
2018 Bengio, Yoshua ; Hinton, Geoffrey ; Lecun, Yann Avanços conceituais e de engenharia que tornaram as redes neurais profundas um componente crítico da computação.
1989, 1990 Berners-Lee, Tim World Wide Web inventada . Com Robert Cailliau , enviei primeiro a comunicação HTTP entre cliente e servidor.
1995 Blum, Manuel Contribuições para os fundamentos da teoria da complexidade computacional e sua aplicação à criptografia e verificação de programas .
1966 Böhm, Corrado Teorizado do conceito de programação estruturada .
1847, 1854 Boole, George Álgebra booleana formalizada , a base da lógica digital e da ciência da computação.
1947 Booth, Kathleen Inventou a primeira linguagem assembly .
1969, 1978 Brinch Hansen, Per Desenvolveu o sistema de multiprogramação RC 4000 que introduziu o conceito de um kernel de sistema operacional e a separação de política e mecanismo, efetivamente a primeira arquitetura de microkernel . Co-desenvolveu o monitor com Tony Hoare e criou a primeira implementação de monitor. Implementou a primeira forma de chamada de procedimento remoto no RC 4000, e foi o primeiro a propor chamadas de procedimento remoto como um conceito estruturante para computação distribuída .
1959, 1995 Brooks, Fred Gerente de projetos IBM System / 360 e OS / 360 ; autor de The Mythical Man-Month .
1908 Brouwer, Luitzen Egbertus Jan Lógica intuicionista fundada que mais tarde passou a ser usada predominantemente em assistentes de prova .
1954 Burks, Arthur Proposta de notação polonesa reversa com Don Warren e Jesse Wright, uma notação posteriormente reinventada de forma independente por Friedrich L. Bauer e Edsger W. Dijkstra para uso com pilhas .
1930 Bush, Vannevar Pioneiro em computação analógica. Originador do conceito Memex , que levou ao desenvolvimento do Hypertexto .
1951 Caminer, David Com John Pinkerton , desenvolveu o computador LEO , o primeiro computador empresarial, para J. Lyons and Co
2019 Catmull, Edwin Para contribuições fundamentais para computação gráfica 3-D e o impacto revolucionário dessas técnicas em imagens geradas por computador (CGI) na produção de filmes e outras aplicações
1978 Cerf, Vint Com Bob Kahn , projetou o Transmission Control Protocol e Internet Protocol ( TCP / IP ), os principais protocolos de comunicação de dados da Internet e outras redes de computadores .
1956 Chomsky, Noam Fez contribuições para a ciência da computação com seu trabalho em linguística . Ele desenvolveu a hierarquia de Chomsky , uma descoberta que impactou diretamente a teoria da linguagem de programação e outros ramos da ciência da computação.
1936 Igreja, Alonzo Fez contribuições fundamentais para a ciência da computação teórica, especificamente no desenvolvimento da teoria da computabilidade na forma de cálculo lambda . Independentemente de Alan Turing , ele formulou o que agora é conhecido como Tese de Church-Turing e provou que a lógica de primeira ordem é indecidível .
1962 Clark, Wesley A. LINC projetado , o primeiro computador funcional em escala reduzida e com preço para o usuário individual. Colocado em serviço em 1963, muitos de seus recursos são vistos como protótipos do que deveriam ser elementos essenciais dos computadores pessoais.
1981 Clarke, Edmund M. Desenvolvimento de verificação de modelo e verificação formal de software e hardware em conjunto com E. Allen Emerson .
1987 Cocke, John Contribuições significativas no projeto e teoria de compiladores, na arquitetura de grandes sistemas e no desenvolvimento de computadores com conjuntos de instruções reduzidas (RISC).
1970 Codd, Edgar F. Propôs e formalizou o modelo relacional de gerenciamento de dados, base teórica dos bancos de dados relacionais .
1971 Conway, Lynn Arquitetura superescalar com agendamento de instruções dinâmicas fora de ordem de múltiplos problemas.
1967 Cook, Stephen Formalizou a noção de NP-completude, inspirando muitas pesquisas na teoria da complexidade computacional .
1965 Cooley, James Com John W. Tukey , criou a transformada rápida de Fourier .
1989 Corbató, Fernando J. Trabalho pioneiro organizando os conceitos e liderando o desenvolvimento de sistemas de computador de uso geral, em larga escala, com compartilhamento de tempo e recursos, CTSS e Multics .
1964 - 1996 Cray, Seymour Projetou uma série de computadores que foram os mais rápidos do mundo por décadas e fundou a Cray Research, que construiu muitas dessas máquinas. Chamado de "o pai da supercomputação", Cray recebeu o crédito por criar a indústria de supercomputadores.
1962 Dahl, Ole-Johan Com Kristen Nygaard , inventou a linguagem orientada a proto-objetos SIMULA .
1965 Davies, Donald Um dos dois inventores independentes do conceito de comutação digital de pacotes usado em redes de computadores modernas, incluindo a Internet . Davies concebeu e nomeou o conceito de redes de comunicação de dados em 1965 e 1966. Muitas das redes de comutação de pacotes de área ampla construídas na década de 1970, incluindo a ARPANET , eram semelhantes "em quase todos os aspectos" ao seu projeto original de 1965.
1976 Diffie, Whitfield Contribuições fundamentais para a criptografia moderna. O artigo pioneiro de 1976 de Diffie e Hellman, "New Directions in Cryptography", introduziu as idéias de criptografia de chave pública e assinaturas digitais, que são a base para a maioria dos protocolos de segurança usados ​​regularmente na Internet hoje.
1968 Dijkstra, Edsger Fez avanços em algoritmos, foi o pioneiro e cunhou o termo programação estruturada , inventou o semáforo e sugeriu que a instrução GOTO deveria ser considerada prejudicial .
1918 Eccles, William e Jordan, Frank Wilfred Físicos britânicos patentearam o circuito de gatilho Eccles – Jordan. O chamado flip-flop biestável , este circuito é um bloco de construção de todas as células de memória digital . Construído a partir de tubos de vácuo , seu conceito foi essencial para o sucesso do computador codebreaking Colossus .
1943, 1951 Eckert, J. Presper Com John Mauchly , projetou e construiu o ENIAC , o primeiro computador moderno (totalmente eletrônico, Turing-completo), e o UNIVAC I , o primeiro computador disponível comercialmente.
1981 Emerson, E. Allen Desenvolvimento de verificação de modelo e verificação formal de software e hardware em conjunto com Edmund M. Clarke .
1963 Engelbart, Douglas Mais conhecido por inventar o mouse do computador (em um esforço conjunto com Bill English ); como pioneira na interação homem-computador, cuja equipe do Augment desenvolveu hipertexto , computadores em rede e precursores de GUIs .
1971 Faggin, Federico Projetou o primeiro microprocessador comercial ( Intel 4004 ).
1994 Feigenbaum, Edward Pioneirismo no projeto e construção de sistemas de inteligência artificial em grande escala, demonstrando a importância prática e o potencial impacto comercial da tecnologia de inteligência artificial.
1974 Feinler, Elizabeth Sua equipe definiu um formato de arquivo de texto simples para nomes de host da Internet. A lista evoluiu para o Sistema de Nomes de Domínio e seu grupo se tornou a autoridade de nomenclatura para os domínios de nível superior .mil, .gov, .edu, .org e .com.
1943 Flores, tommy Projetou e construiu o Mark 1 e os dez computadores Mark 2 Colossus aprimorados , os primeiros dispositivos de computação digitais programáveis ​​do mundo.
1978 Floyd, Robert W. Ter uma clara influência nas metodologias para a criação de software eficiente e confiável, e ajudar a fundar os seguintes subcampos importantes da ciência da computação : a teoria da análise , as semânticas de linguagens de programação, automática verificação do programa , síntese automática de programas e análise de algoritmos .
1994 Floyd, Sally Fundou o campo de Active Queue Management e co-inventou a Random Early Detection, que é usada em quase todos os roteadores da Internet.
1879 Frege, Gottlob Lógica aristotélica estendida com cálculo de predicados de primeira ordem , independentemente de Charles Sanders Peirce , um precursor crucial na teoria da computabilidade . Também relevante para os primeiros trabalhos em inteligência artificial e programação lógica .
1985 Furber, Stephen
Sophie Wilson 		São conhecidos por seu trabalho na criação de microprocessadores RISC ARM de 32 bits.
1958, 1961, 1967 Ginsburg, Seymour A minimização de circuitos " não se preocupa " comprovada não produz necessariamente resultados ótimos, provou que a linguagem de programação ALGOL é livre de contexto (ligando assim a teoria da linguagem formal ao problema de escrita do compilador ) e inventou a Teoria AFL .
1931 Gödel, Kurt Provou que a aritmética de Peano não podia ser logicamente consistente e completa no cálculo de predicados de primeira ordem . Church, Kleene e Turing desenvolveram os fundamentos da teoria da computação com base nos corolários do trabalho de Gödel.
1989 Goldwasser, Shafi Provas de conhecimento zero inventadas por Goldwasser, Micali e Rackoff . Goldwasser e Micali receberam o Prêmio Turing em 2012 por este e outros trabalhos.
2011 Graham, Susan L. Recebeu a medalha IEEE John von Neumann de 2009 por "contribuições para o projeto e implementação de linguagens de programação e por serviços exemplares à disciplina de ciência da computação".
1953 Grey, Frank Físico e pesquisador do Bell Labs , desenvolveu o código binário refletido (RBC) ou código Gray . As metodologias de Gray são usadas para detecção e correção de erros em sistemas de comunicação digital, como QAM em redes de linha de assinante digital .
1974, 2005 Gray, Jim Inovador em sistemas de banco de dados e implementação de processamento de transações .
1986, 1990 Grosz, Barbara Criou o primeiro modelo computacional de discurso , que estabeleceu o campo de pesquisa e influenciou as tecnologias de processamento de linguagem. Também desenvolveu modelo SharedPlans para colaboração em sistemas multiagentes .
1988, 2015 Gustafson, John Provou a viabilidade da computação paralela experimentalmente e teoricamente a Lei de Gustafson . Desenvolveu formatos de alta eficiência para representar números reais Unum e Posit .
1971 Hamilton, Margaret Desenvolveu os conceitos de software assíncrono, agendamento de prioridade, teste ponta a ponta e capacidade de decisão humana no circuito, como telas de prioridade que se tornaram a base para o design de software ultraconfiável.
1950 Hamming, Richard Criado o campo matemático de código de correção de erro , código de Hamming , matriz de Hamming , a janela Hamming , números de Hamming , esfera-embalagem (ou Hamming obrigado ), ea distância de Hamming . Ele estabeleceu o conceito de código perfeito.
1956, 1958, 1974 Händler, Wolfgang Trabalho pioneiro em teoria de autômatos , computação paralela , inteligência artificial , interfaces homem-máquina e computação gráfica . Um dos principais arquitetos do supercomputador TR 4  [ de ] . Diagramas de Händler inventados para minimização de funções lógicas . Desenvolvi o Erlangen Classification System  [ de ] (ECS) para computadores paralelos.
2019 Hanrahan, Pat Para contribuições fundamentais para computação gráfica 3-D e o impacto revolucionário dessas técnicas em imagens geradas por computador (CGI) na produção de filmes e outras aplicações
1993 Hartmanis, Juris Fundamentos para o campo da teoria da complexidade computacional .
1981, 1995, 1999 Hejlsberg, Anders Autor de Turbo Pascal enquanto estava na Borland , arquiteto-chefe da Delphi e designer e arquiteto-chefe de C # na Microsoft.
1976 Hellman, Martin Contribuições fundamentais para a criptografia moderna. O artigo pioneiro de 1976 de Diffie e Hellman, "New Directions in Cryptography", introduziu as idéias de criptografia de chave pública e assinaturas digitais, que são a base para a maioria dos protocolos de segurança usados ​​regularmente na Internet hoje.
2017 Hennessy, John L. Por ser pioneira em uma abordagem sistemática e quantitativa para o projeto e avaliação de arquiteturas de computador com impacto duradouro na indústria de microprocessadores.
2008, 2012, 2018 Hinton, Geoffrey Popularizou e possibilitou o uso de redes neurais artificiais e aprendizado profundo , que estão entre as ferramentas de maior sucesso nos esforços modernos de inteligência artificial . Recebeu o Prêmio Turing em 2018 por inovações conceituais e de engenharia que tornaram as redes neurais profundas um componente crítico da computação.
1961, 1969, 1978, 1980 Hoare, CAR Desenvolveu a linguagem formal de comunicação de processos sequenciais (CSP), lógica Hoare para verificar a exatidão do programa e Quicksort . Contribuições fundamentais para a definição e design de linguagens de programação.
1968 Holberton, Betty Escreveu a primeira mesclagem de classificação de mainframe no Univac
1889 Hollerith, Herman Amplamente considerado o pai do moderno processamento de dados por máquina . Sua invenção da máquina de tabulação de cartão perfurado marca o início da era dos sistemas semiautomáticos de processamento de dados .
1986 Hopcroft, John Conquistas fundamentais na concepção e análise de algoritmos e estruturas de dados.
1952 Hopper, Grace Foi pioneira no trabalho sobre a necessidade de linguagens de programação de alto nível, que ela chamou de programação automática , e escreveu o compilador AO , que influenciou fortemente a linguagem COBOL .
1997 Hsu Feng-hsiung O trabalho levou à criação do computador de xadrez Deep Thought , e ao arquiteto e principal designer do computador de xadrez IBM Deep Blue, que derrotou o campeão mundial de xadrez , Garry Kasparov , em 1997.
1952 Huffman, David Conhecido pela codificação Huffman .
1952 Hurd, Cuthbert Ajudou a International Business Machines Corporation a desenvolver seu primeiro computador de uso geral, o IBM 701 .
1945, 1953 Huskey, Harry Projeto de computador inicial, incluindo contribuições para os computadores ENIAC , EDVAC , Pilot ACE , EDVAC , SEAC , SWAC e Bendix G-15 . O G-15 foi descrito como o primeiro computador pessoal , sendo operado por uma pessoa.
1954, 1962 Iverson, Kenneth Auxiliou no estabelecimento do primeiro curso de graduação em ciência da computação (em Harvard ) e ministrou esse curso; inventou a linguagem de programação APL e contribuiu para a computação interativa.
1801 Jacquard, Joseph Marie Construiu e demonstrou o tear Jacquard , um tear mecanizado programável controlado por uma fita construída a partir de cartões perfurados.
1206 Al-Jazari Máquinas programáveis inventadas , incluindo robôs humanóides programáveis , e o relógio do castelo , um relógio astronômico considerado o primeiro computador analógico programável .
1989 Kahan, William Contribuições fundamentais para a análise numérica . Um dos maiores especialistas em cálculos de ponto flutuante . Kahan se dedicou a "tornar o mundo seguro para cálculos numéricos.
1978 Kahn, Bob Projetou o Transmission Control Protocol e Internet Protocol ( TCP / IP ), os principais protocolos de comunicação de dados da Internet e outras redes de computadores .
1952, 1953 Karnaugh, Maurice Criador do mapa de Karnaugh , uma variação sobre Edward Veitch 's Veitch chart e redescoberta de Allan Marquand é muito mais cedo diagrama lógico - Usado para a função lógica de minimização .
1985 Karp, Richard M. Contribuições para a teoria de algoritmos, incluindo o desenvolvimento de algoritmos eficientes para fluxo de rede e outros problemas de otimização combinatória, a identificação de computabilidade em tempo polinomial com a noção intuitiva de eficiência algorítmica e, mais notavelmente, contribuições para a teoria de NP-completude .
1973 Karpinski, Jacek Desenvolveu o primeiro analisador diferencial que utilizava transistores, e desenvolveu um dos primeiros algoritmos de aprendizado de máquina para reconhecimento de caracteres e imagens. Também foi o inventor de um dos primeiros minicomputadores, o K-202 .
1970 ~ Kay, Alan Foi o pioneiro de muitas das ideias na raiz das linguagens de programação orientadas a objetos, liderou a equipe que desenvolveu Smalltalk e fez contribuições fundamentais para a computação pessoal.
1972-1994 Kildall, Gary Introduziu a teoria de análise de fluxo de dados na otimização de compiladores (otimização de expressão global, método de Kildall ). Trabalhou em emuladores de conjunto de instruções ( INTERP ), encontrou um método de relocação de software inovador ( relocação de limite de página ) e lançou as bases para os conceitos de recompilação binária ( XLT86 ). Desenvolveu a primeira linguagem de programação de alto nível e compilador para microcomputadores ( PL / M ) e o primeiro sistema operacional mainstream para microcomputadores ( CP / M ). Inventou o conceito de uma camada de abstração de hardware chamada BIOS , com ambas as bases conceituais para todos os sistemas operacionais baseados em DOS em computadores pessoais . Trabalhou em esquemas de buffer de trilha de disquete , algoritmos de leitura antecipada , drives de disco virtual e cache do sistema de arquivos . Desenvolveu a primeira interface de computador para discos de vídeo e foi pioneira em sistemas de arquivos de CD-ROM , apresentando a primeira enciclopédia para computadores ( The Electronic Encyclopedia ). Foi pioneiro em um sistema de comunicação PBX modular integrando linhas terrestres com telefones celulares ( Intelliphone ) e para conexão remota com eletrodomésticos .
1957 Kirsch, Russell Gray Enquanto trabalhava para o National Bureau of Standards (NBS), Kirsch usou um scanner de imagem desenvolvido recentemente para digitalizar e armazenar a primeira fotografia digital . Sua foto digitalizada de seu filho de três meses foi considerada pela revista Life como uma das "100 Fotografias que Mudaram o Mundo".
1961-1970 Kleinrock, Leonard Foi pioneiro na aplicação da teoria das filas para modelar atrasos em redes de troca de mensagens em seu doutorado. tese em 1961–1962, publicada como um livro em 1964. Posteriormente, ele publicou várias das obras padrão sobre o assunto. No início dos anos 1970, ele aplicou essa teoria para modelar o desempenho das redes de comutação de pacotes . Kleinrock desempenhou um papel influente no desenvolvimento da ARPANET , o precursor da Internet . Seu trabalho teórico sobre roteamento hierárquico no final dos anos 1970 com o estudante Farouk Kamoun continua sendo crítico para a operação da Internet hoje.
1936 Kleene, Stephen Cole Trabalho pioneiro com Alonzo Church no cálculo Lambda, que estabeleceu as bases da teoria da computação.
1968, 1989 Knuth, Donald Escreveu The Art of Computer Programming e criou o TeX . Cunhou o termo "análise de algoritmos" e fez grandes contribuições para esse campo, incluindo a popularização Big O notação .
1974, 1978 Lamport, Leslie Algoritmos formulados para resolver muitos problemas fundamentais em sistemas distribuídos (por exemplo, o algoritmo de padaria ).
Desenvolveu o conceito de relógio lógico , possibilitando a sincronização entre entidades distribuídas com base nos eventos por meio dos quais se comunicam. LaTeX criado .
1992 Lampson, Butler W. Desenvolvimento de ambientes de computação pessoal distribuídos e a tecnologia para sua implementação: estações de trabalho , redes , sistemas operacionais , sistemas de programação, monitores , segurança e publicação de documentos .
1951 Lebedev, Sergei Alekseyevich Projetou de forma independente o primeiro computador eletrônico da União Soviética, MESM , em Kiev, Ucrânia.
1670 ~ Leibniz, Gottfried Fez avanços na lógica simbólica, como o raciocinador do Cálculo , que teve grande influência em Gottlob Frege . Ele antecipou desenvolvimentos posteriores no cálculo de predicados de primeira ordem , que foram cruciais para os fundamentos teóricos da ciência da computação.
1960 Licklider, JCR Começou a investigação da interação humano-computador, levando a muitos avanços em interfaces de computador, bem como em cibernética e inteligência artificial .
1987 Liskov, Barbara Desenvolvido o princípio de substituição de Liskov , que garante a interoperabilidade semântica dos tipos de dados em uma hierarquia.
1300 ~ Llull, Ramon Projetou múltiplas máquinas de representações simbólicas e foi pioneiro em noções de representação e manipulação simbólica para produzir conhecimento - ambos os quais foram grandes influências em Leibniz .
1852 Lovelace, Ada Matemática e escritora inglesa, principalmente conhecida por seu trabalho no proposto computador mecânico de uso geral de Charles Babbage, a Máquina Analítica . Ela foi a primeira a reconhecer que a máquina tinha aplicações além do cálculo puro e criou o primeiro algoritmo destinado a ser executado por tal máquina. Como resultado, ela é frequentemente considerada a primeira a reconhecer todo o potencial de uma "máquina de computação" e a primeira programadora de computadores.
1909 Ludgate, Percy Charles Babbage em 1843 e Percy Ludgate em 1909 projetaram os dois primeiros motores analíticos da história. O motor de Ludgate usava a multiplicação como base (usando seus próprios logaritmos irlandeses discretos ), tinha o primeiro multiplicador-acumulador (MAC), foi o primeiro a explorar um MAC para realizar a divisão, armazenou números como deslocamentos de hastes em naves e teve vários outros romances recursos, inclusive para controle de programa.
1971 Martin-Löf, Per Publicou um primeiro rascunho da teoria dos tipos que muitos assistentes de prova constroem.
1943, 1951 Mauchly, John Com J. Presper Eckert , projetou e construiu o ENIAC , o primeiro computador moderno (totalmente eletrônico, Turing-completo), e o UNIVAC I , o primeiro computador disponível comercialmente. Também trabalhou no BINAC (1949), EDVAC (1949), UNIVAC (1951) com Grace Hopper e Jean Bartik, para desenvolver os primeiros computadores com programas armazenados .
1958 McCarthy, John LISP inventado , uma linguagem de programação funcional .
1956, 2012 McCluskey, Edward J. Contribuições fundamentais que moldaram o projeto e teste de sistemas digitais, incluindo o primeiro algoritmo para síntese de lógica digital, o método de minimização de lógica de Quine-McCluskey.
1986 Meyer, Bertrand Projeto desenvolvido por contrato no disfarce da linguagem de programação Eiffel .
2012 Micali, Silvio Para um trabalho transformador que lançou as bases da teoria da complexidade para a ciência da criptografia e, no processo, foi pioneiro em novos métodos para verificação eficiente de provas matemáticas na teoria da complexidade.
1991 Milner, Robin 1) LCF , a mecanização da Lógica de Funções Computáveis ​​de Scott, provavelmente a primeira ferramenta baseada em teoria, mas prática, para construção de provas assistida por máquina ; 2) ML , a primeira linguagem a incluir inferência de tipo polimórfico junto com um mecanismo de tratamento de exceção de tipo seguro ; 3) CCS , uma teoria geral de concorrência . Além disso, ele formulou e avançou fortemente a abstração completa , o estudo da relação entre a semântica operacional e denotacional .
1963 Minsky, Marvin Co-fundador do Artificial Intelligence Lab do Massachusetts Institute of Technology , autor de diversos textos sobre IA e filosofia. Crítico do perceptron .


1950, 1960 Nakamatsu Yoshirō Inventou o primeiro disquete na Universidade Imperial de Tóquio em 1950, recebendo uma patente japonesa em 1952 e uma patente nos Estados Unidos em 1958 por sua invenção da folha de disquete magnético , e licenciado para a Nippon Columbia em 1960 e para a IBM nos anos 1970.
2008 Nakamoto, Satoshi O criador anônimo ou criadores do Bitcoin , a primeira moeda digital ponto a ponto . O white paper de Nakamoto de 2008 introduziu o conceito de blockchain , uma estrutura de banco de dados que permite confiança total no livro-razão de transações públicas descentralizadas e distribuídas da criptomoeda.
1934, 1938 Nakashima Akira O engenheiro da NEC introduziu a teoria do circuito de comutação em artigos de 1934 a 1936, estabelecendo as bases para o projeto de circuitos digitais , em computadores digitais e outras áreas da tecnologia moderna.
1960 Naur, Peter Editou o relatório revisado do ALGOL 60 , apresentando o formulário Backus-Naur
1945 Neumann, John von Formulou a arquitetura de von Neumann na qual a maioria dos computadores modernos são baseados.
1956 Newell, Allen Junto com JC Shaw e Herbert Simon, os três co-escreveram o Logic Theorist, o primeiro verdadeiro programa de IA, na primeira linguagem de processamento de lista, que influenciou o LISP.
1943 Newman, Max Instigou a produção dos computadores Colossus em Bletchley Park . Após a guerra, ele estabeleceu o Laboratório de Máquinas de Computação na Universidade de Manchester, onde criou o projeto que construiu o primeiro computador com programa armazenado do mundo , o Manchester Baby .
1962 Nygaard, Kristen Com Ole-Johan Dahl , inventou a linguagem orientada a proto-objetos SIMULA .
500 AC ~ Pāṇini A gramática sânscrita Ashtadhyayi foi sistematizada e técnica, usando metarules, transformações e recursões , um precursor da teoria da linguagem formal e base para a forma Panini-Backus usada para descrever linguagens de programação .
1642 Pascal, Blaise Inventou a calculadora mecânica .
2017 Patterson, David Por ser pioneira em uma abordagem sistemática e quantitativa para o projeto e avaliação de arquiteturas de computador com impacto duradouro na indústria de microprocessadores.
2011 Pearl, Judea Contribuições fundamentais para a inteligência artificial através do desenvolvimento de um cálculo para raciocínio probabilístico e causal.
1952 Perlis, Alan No Projeto Whirlwind , membro da equipe que desenvolveu a linguagem de programação ALGOL e o primeiro ganhador do Prêmio Turing
1985 Perlman, Radia Inventou o Spanning Tree Protocol (STP), que é fundamental para a operação de pontes de rede , enquanto trabalhava para a Digital Equipment Corporation . Fez pesquisas extensas e inovadoras, principalmente em criptografia e redes. Ela recebeu o prêmio USENIX pelo conjunto de sua obra em 2007, entre vários outros.
1964 Perotto, Pier Giorgio Designer de computador para a Olivetti , projetou uma das primeiras calculadoras eletrônicas programáveis , a Programma 101
1932 Péter, Rózsa Publicou uma série de artigos fundamentando a teoria da recursão como uma área separada da pesquisa matemática, estabelecendo as bases para a ciência da computação teórica.
1995 Picard, Rosalind Fundou a Computação Afetiva e lançou as bases para dar aos computadores habilidades de inteligência emocional.
1996 Pnueli, Amir Apresentando a lógica temporal na ciência da computação e por contribuições notáveis ​​para verificação de programas e sistemas .
1936 Post, Emil L. Desenvolveu a máquina Post como modelo de computação, independente de Turing. Conhecido também por desenvolver tabelas de verdade , o problema de correspondência de Post usado na teoria da recursão, bem como provar o que é conhecido como teorema de Post .
1976 Rabin, Michael O. O artigo conjunto "Autômatos finitos e seus problemas de decisão", que introduziu a ideia de máquinas não determinísticas , que provou ser um conceito extremamente valioso. Seu artigo clássico (Scott & Rabin) tem sido uma fonte contínua de inspiração para trabalhos subsequentes neste campo.
1994 Reddy, Raj Pioneirismo no projeto e construção de sistemas de inteligência artificial em grande escala, demonstrando a importância prática e o potencial impacto comercial da tecnologia de inteligência artificial.
1967–2011 Ritchie, Dennis Com Ken Thompson , foi pioneiro na linguagem de programação C e no sistema operacional de computador Unix na Bell Labs.
1977 Rivest, Ron Contribuição engenhosa e tornando a criptografia de chave pública útil na prática.
1958–1960 Rosen, Saul Projetou o software do primeiro computador baseado em transistor. Também influenciou a linguagem de programação ALGOL.
1910 Russell, Bertrand Fez contribuições para a ciência da computação com seu trabalho em lógica matemática (exemplo: função de verdade ). Introduziu a noção de teoria dos tipos . Ele também introduziu o sistema de tipos (junto com Alfred North Whitehead ) em seu trabalho, Principia Mathematica .
1975 Salton, Gerard Um pioneiro na recuperação automática de informação , que propôs o modelo de espaço vetorial e o índice invertido .
1962 Sammet, Jean E. Desenvolveu a linguagem de programação FORMAC . Ela também foi a primeira a escrever extensivamente sobre a história e categorização das linguagens de programação em 1969, e se tornou a primeira mulher presidente da Association for Computing Machinery em 1974.
1880, 1898 Sanders Peirce, Charles Comprovou a integridade funcional da porta NOR . Propôs a implementação da lógica via circuitos elétricos, décadas antes de Claude Shannon . Lógica aristotélica estendida com cálculo de predicados de primeira ordem , independentemente de Gottlob Frege , um precursor crucial na teoria da computabilidade . Também relevante para os primeiros trabalhos em inteligência artificial e programação lógica .
1976 Scott, Dana O artigo conjunto "Autômatos finitos e seus problemas de decisão", que introduziu a ideia de máquinas não determinísticas , que provou ser um conceito extremamente valioso. Seu artigo clássico (Scott & Rabin) tem sido uma fonte contínua de inspiração para trabalhos subsequentes neste campo.
1977 Shamir, Adi Contribuição engenhosa e tornando a criptografia de chave pública útil na prática.
1937, 1948 Shannon, Claude Fundou a teoria da informação e lançou as bases para o projeto prático de circuitos digitais.
1971 Shima Masatoshi Projetou o Intel 4004 , o primeiro microprocessador comercial , bem como os microprocessadores Intel 8080 , Zilog Z80 e Zilog Z8000 , e os chips Intel 8259 , 8255 , 8253 , 8257 e 8251 .
2007 Sifakis, Joseph Desenvolvimento de verificação de modelo em uma tecnologia de verificação altamente eficaz, amplamente adotada nas indústrias de hardware e software.
1956, 1957 Simon, Herbert A. Cientista político e economista pioneiro da inteligência artificial . Co-criador dos programas Logic Theory Machine e General Problem Solver .
1953 Spärck Jones, Karen Um dos pioneiros em recuperação de informações e processamento de linguagem natural .
1972 Stallman, Richard Stallman lançou o Projeto GNU em setembro de 1983 para criar um sistema operacional de computador semelhante ao Unix, composto inteiramente de software livre. Com isso, ele também lançou o movimento do software livre.
1993 Stearns, Richard E. Fundamentos para o campo da teoria da complexidade computacional .
1981 Stepanov, Alexander Stepanov é um dos pioneiros no que diz respeito à programação genérica e também é o principal designer e implementador da C ++ Standard Template Library .
1937, 1941 Stibitz, George R. Pai da computação digital moderna e entrada de trabalho remota . Cunhou o termo "digital". Descobriu o código binário refletido conhecido como código Gray . O código Excess-3 também tem o seu nome ( código Stibitz ).
1982 Stonebraker, Michael Pesquisador do Laboratório de Ciência da Computação e Inteligência Artificial do MIT (CSAIL) que revolucionou o campo dos sistemas de gerenciamento de banco de dados (DBMSs) e fundou várias empresas de banco de dados de sucesso
1979 Stroustrup, Bjarne C ++ inventado na Bell Labs
1963 Sutherland, Ivan Autor do Sketchpad , o ancestral dos modernos programas de desenho auxiliado por computador (CAD) e um dos primeiros exemplos de programação orientada a objetos .
1986 Tarjan, Robert Conquistas fundamentais na concepção e análise de algoritmos e estruturas de dados.
1973 Thacker, Charles P. Design pioneiro e realização do Xerox Alto , o primeiro computador pessoal moderno, e também por suas contribuições para a Ethernet e o Tablet PC.
1972, 1973 Thi, André Truong Trong e François Gernelle Invenção do Micral N , o primeiro computador pessoal comercial sem kit baseado em um microprocessador .
1967 Thompson, Ken Criou o sistema operacional Unix , a linguagem de programação B , o sistema operacional Plan 9 , a primeira máquina a obter uma classificação Master em xadrez, e a codificação UTF-8 no Bell Labs e a linguagem de programação Go no Google.
1993 Toh Chai Keong Criação de rede ad hoc móvel; Implementou a primeira rede ad hoc sem fio funcional de laptops em 1998 usando o sistema operacional Linux, rádios Lucent WaveLan 802.11 e um novo protocolo de roteamento distribuído transparente para TCP / UDP / IP.
1912, 1914, 1920 Torres Quevedo, Leonardo Em 1912, Leonardo Torres Quevedo construiu El Ajedrecista ( o jogador de xadrez ), uma das primeiras máquinas autônomas capazes de jogar xadrez. Ao contrário de The Turk e Ajeeb operados por humanos , El Ajedrecista era um verdadeiro autômato construído para jogar xadrez sem orientação humana. Ele jogou um final de jogo com três peças de xadrez, movendo automaticamente um rei branco e uma torre para dar xeque-mate ao rei preto movido por um oponente humano. Em sua obra Essays on Automatics , publicada em 1914, Torres Quevedo formula o que será um novo ramo da engenharia: a automação . Este trabalho também incluiu aritmética de ponto flutuante . Em 1920, Torres Quevedo foi o primeiro na história a construir uma das primeiras versões eletromecânicas da Máquina Analítica .
1991 Torvalds, Linus Criou a primeira versão do kernel Linux .
1965 Tukey, John W. Com James Cooley , criou a transformação rápida de Fourier . Ele inventou o termo "bit".
1936 Turing, Alan Fez várias contribuições fundamentais para a ciência da computação teórica, incluindo o modelo computacional da máquina de Turing , a concepção do conceito de programa armazenado e o projeto do projeto ACE de alta velocidade . Independentemente de Alonzo Church , ele formulou a tese de Church-Turing e provou que a lógica de primeira ordem é indecidível . Ele também explorou as questões filosóficas relativas à inteligência artificial , propondo o que hoje é conhecido como teste de Turing .
2010 Valiant, Leslie Contribuições transformativas para a teoria da computação , incluindo a teoria da aprendizagem provavelmente aproximadamente correta ( PAC ), a complexidade da enumeração e da computação algébrica e a teoria da computação paralela e distribuída.
1875, 1875 Verea, Ramón Projetou e patenteou o Verea Direct Multiplier , o primeiro multiplicador direto mecânico.
1950 ~ Wang An Fez contribuições importantes para o desenvolvimento da memória do núcleo magnético .
1955, 1960, 1974 Ware, Willis Co-designer da JOHNNIAC . Comitê presidido que desenvolveu o Código de Práticas Justas de Informação e levou à Lei de Privacidade de 1974 . Vice-presidente da Comissão de Estudos de Proteção à Privacidade.
1964, 1966 Weizenbaum, Joseph Um dos pais da inteligência artificial moderna . Criador do programa ELIZA usando processamento de linguagem natural para emular conversas com um psicólogo .
1968 Wijngaarden, van Adriaan Desenvolvedor da gramática W usada pela primeira vez na definição do ALGOL 68
1949 Wilkes, Maurice Construiu o primeiro computador de programa armazenado prático ( EDSAC ) a ser concluído e por ser creditado com as idéias de várias construções de linguagem de programação de alto nível.
1970 Wilkinson, James H. Pesquisa em análise numérica para facilitar o uso do computador digital de alta velocidade, tendo recebido reconhecimento especial por seu trabalho em cálculos em álgebra linear e análise "backward" de erros.
1970, 1978 Wirth, Niklaus Projetou as linguagens de programação Pascal , Modula-2 e Oberon .
2000 Yao, Andrew Contribuições fundamentais para a teoria da computação , incluindo a teoria baseada na complexidade de geração de números pseudo-aleatórios , criptografia e complexidade de comunicação .
1955–1958 Zemanek, Heinz Desenvolveu um dos primeiros computadores totalmente transistorizados, o Mailüfterl . Crucial na criação da definição formal da linguagem de programação PL / I .
1938, 1945 Zuse, Konrad Construiu o primeiro computador digital livremente programável, o Z1 . Construiu o primeiro computador funcional controlado por programa, o Z3 . O Z3 provou ser Turing-completo em 1998. Produziu o primeiro computador comercial do mundo, o Z4 . Projetou a primeira linguagem de programação de alto nível, Plankalkül .

~ Os itens marcados com um til têm cerca de datas.

Veja também

Referências

Fontes

links externos