Linhas de Pesquisa

1. Biologia Computacional . Algoritmos para problemas e biologia molecular (Aprovada pelo Departamento/Conselho Científico em __/____).
2. Sistemas de Programação . Sistemas Operacionais Distribuidos (Aprovada pelo Departamento/Conselho Científico em __/____).
3. Algoritmos Paralelos e Distribuidos . Algoritmos para multiprocessadores paralelos e distribuidos (Aprovada pelo Departamento/Conselho Científico em __/____).
4. Administração e Segurança de Redes de Computadores . Administração de Redes de Computadores. Automatização de Instalação e Configuração. Transparência de Ambiente. Sistemas Unix e Windows NT. Segurança de Redes, Firewalls e Canais Seguros de Comunicação (Aprovada pelo Departamento/Conselho Científico em __/____).
5. Sistemas Operacionais . Sistemas de Tempo Real. Avaliação de Desempenho. Sistemas Operacionais Distribuidos (Aprovada pelo Departamento/Conselho Científico em __/____).
6. Linguagens e Paradigmas de Programação . Projeto e Implementação de Linguagens. Otimização de Código. Programação Orientada a Objetos. Programação Concorrente. Programação Funcional. Programação Lógica (Aprovada pelo Departamento/Conselho Científico em __/____).
7. Sistemas Distribuidos . Algoritmos Distribuidos. Ferramentas e Linguagens para Sistemas Distribuidos. Tolerância a Falhas (Aprovada pelo Departamento/Conselho Científico em __/____).
8. Teoria da Computação e Algoritmos . Engenharia de Algoritmos (Aprovada pelo Departamento/Conselho Científico em __/____).
9. Teoria dos Grafos . Algoritmos em Grafos. Grafos Perfeitos (Aprovada pelo Departamento/Conselho Científico em __/____).
10. Otimização Combinatória . Problemas Minimax. Aplicações à Otimização. Roteamento. Algoritmos Distribuidos (Aprovada pelo Departamento/Conselho Científico em __/____).
11. Ferramentas para Processamento de Textos . Técnicas Eficientes para Implementação de Verificadores Ortográficos. Compressores, Cifradores Criptográficos (Aprovada pelo Departamento/Conselho Científico em __/____).
12. Geometria Computacional . Casamento de Padrões Geométricos. Ambientes para Desenvolvimento de Algoritmos. Algoritmos Eficientes (Aprovada pelo Departamento/Conselho Científico em __/____).
13. Arquitetura de Computadores . Projeto de Sistemas Digitais. Projeto de Circuitos Integrados. Arquiteturas Não Convencionais. Redes de Computadores. Projetos Integrados de Software e Hardware (Aprovada pelo Departamento/Conselho Científico em __/____).
14. Projetos Integrados de Software e Hardware . Sistemas de Microprocessadores para Aplicações Especiais. Software Básico Embutido (Aprovada pelo Departamento/Conselho Científico em __/____).
15. Representação do Conhecimento . Lógicas Aplicadas a Inteligência Artificial. Lógicas não Monotônicas (Aprovada pelo Departamento/Conselho Científico em __/____).
16. Groupware . Análise e Desenvolvimento de Sistemas de Computação para Atividades Cooperativas. Ferramentas para Suporte ao Trabalho Cooperativo (Aprovada pelo Departamento/Conselho Científico em __/____).
17. Automação de Projeto Eletrônico . Projeto de Circuitos VLSI. Desenvolvimento de ferramentas e ambientes de projetos de sistemas digitais (Aprovada pelo Departamento/Conselho Científico em __/____).
18. Redes de Computadores . Protocolos. Redes Locais, Metropolitanas e de Longa Distância. Análise de Desempenho. Redes ATM (Aprovada pelo Departamento/Conselho Científico em __/____).
19. Sistemas de Informação . Automação de Escritórios. Bancos de Dados. Engenharia de Software. Bancos de Dados não Convencionais (Aprovada pelo Departamento/Conselho Científico em __/____).
20. Bancos de Dados . Bancos de Dados Distribuídos. Otimização de Consultas. Tolerância a Falhas. Análise de Desempenho. Pré-Processamento de Atualização. Modelos de Bancos de Dados (Aprovada pelo Departamento/Conselho Científico em __/____).
21. Engenharia de Software . Ferramentas e Ambientes de Desenvolvimento de Software. Controle de Versões. Desenvolvimento Cooperativo. Ambientes Orientados a Objetos (Aprovada pelo Departamento/Conselho Científico em __/____).
22. Bancos de Dados Não Convencionais . Gerenciamento. Avaliação de Desempenho. Bancos de Dados Geográficos (Aprovada pelo Departamento/Conselho Científico em __/____).
23. Aplicações Gráficas . Aplicações Gráficas. Traçado de Máscaras para Circuitos Impressos e Integrados. Ferramentas de Software para o Projeto de Circuitos Digitais. Processamento de Imagens. Multimídia. Composição Computadorizada de Textos. Ambientes Gráficos Interativos para Geometria Computacional. Animação Dinâmica. Geração de Texturas. Visualização (Aprovada pelo Departamento/Conselho Científico em __/____).
24. Processamento de Linguagem Natural . Análise de Línguas Naturais. Interfaces Baseadas em Linguagens Naturais. Geração Automática de Textos (Aprovada pelo Departamento/Conselho Científico em __/____).
25. Processamento e Análise de Imagens . Processamento de Imagens. Compressão de Imagens e Vídeo para Videoconferência. Protocolos de Comunicação. Modelos de Algoritmos e Arquiteturas Paralelas. Casamento de Padrões (Aprovada pelo Departamento/Conselho Científico em __/____).
26. Informática Aplicada à Educação . Projeto e Implementação de Sistemas de Auxílio a Aprendizagem. Inteligência Artificial. Sistemas Especialistas. Interfaces Homem-Máquina (Aprovada pelo Departamento/Conselho Científico em __/____).
27. Ferramentas para Desenvolvimento de Sistemas Distribuidos . Linguagens e Interfaces para Processamento Distribuido. Gerenciamento de Redes. Interfaces Gráficas (Aprovada pelo Departamento/Conselho Científico em __/____).