da influente serie (inacabada em 2011) sobre algoritmos The Art of Computer Programming Richard Stallman, fundador do projeto GNU e idealizador da licenca de software livre GPL Linus Torvalds, criador do nucleo Linux Alan Kay, um dos inventores da orientacao a objeto, tambem concebeu o laptop e a interface grafica do utilizador Steve Wozniak e Steve Jobs, criadores da Apple Inc., e do primeiro computador pessoal, o Apple I Bill Gates e Paul Allen, criadores da Microsoft, a empresa que criou o Windows Areas depesquisa Fundamentos matematicos Algebra linear Calculo diferencial e integral Calculo numerico Analise combinatoria Geometria analitica o estudo de algoritmos para a resolucao de problemas de geometria, ou que dependem da geometria Heuristica - o desvendamento de solucoes de problemas com alto grau de complexidade Logica matematica logica booleana e outras formas para a modelagem logica de problemas Matematica discreta Teoria do caos - sistemas complexos e nao deterministicos influenciam a confeccao de novos algoritmos e metodologias matematicas na computacao Probabilidade e estatistica Teoria da informacao Teoria das categorias Teoria dos grafos fundacoes para estruturas de dados e algoritmos de busca Teoria dos numeros teoria para a definicao de provas a conjunto dos numeros inteiros, usada em criptografia e no teste de inteligencia artificial Teoria dos tipos analise formal de tipos de dados e seu uso para entender a propriedade de programas de algoritmos Fundamentos de computacaoParadigma de programacao Circuitos digitais Complexidade computacional definicao de limites computacionais (sobretudo relativo a espaco e tempo) fundamentais em classes de computacao Criptografia aplicacao da complexidade computacional, da probabilidade e da teoria de numeros para a criacao ou quebra de codigos Estrutura de dados a organizacao e as regras para a manipulacao de informacao Linguagens formais estudo de modelos para especificar e reconhecer linguagens de forma geral Metodos formais o uso de abordagens matematicas para descrever e formalizar padroes de desenvolvimento de software Pesquisa e ordenacao Projeto e analise de algoritmos complexidade computacional aplicada aos algoritmos Robotica o controle do comportamento de robos Semantica formal estudo da especificacao do significado (ou comportamento) de programas de computador e partes de hardware Teoria da computabilidade definicao do que e computavel utilizando-se os modelos atuais, definindo as possibilidades teoricas da computacao Teoria da computacao Teoria dos algoritmos de informacao Teoria dos automatos Fisica Eletromagnetismo Mecanica quantica Tecnologia da computacao Banco de dados Compiladores traducao de algoritmos entre diferentes linguagens de computador, geralmente de uma linguagem de alto nivel, mais abstrata e legivel para seres humanos, para uma linguagem de baixo nivel, mais concreta e voltada para o computador digital Computacao grafica geracao sintetica de imagens, e a integracao ou alteracao visual de informacoes visuais do mundo real Engenharia de software Inteligencia artificial o estudo e a implementacao de sistemas que exibem um comportamento autonomo inteligente Microprocessamento - o estudo dos chips, circuitos integrados e sistemas digitais que interagem com as linguagens de baixo nivel Processamento de imagens a obtencao de informacao a partir de imagens Rede de computadores algoritmos e protocolos para a comunicacao de dados confiavel entre diferentes sistemas, incluindo mecanismos para a identificacao e