Linhas de Pesquisa

1. Sistemas de Programação . Sistemas Operacionais Distribuidos (Aprovada pelo Departamento / Conselho Científico em __/____).
2. Sistemas Operacionais . Sistemas de Tempo Real. Avaliação de Desempenho. Sistemas Operacionais Distribuidos (Aprovada pelo Departamento/Conselho Científico em __/____).
3. 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 __/____).
4. Sistemas Distribuidos . Algoritmos Distribuidos. Ferramentas e Linguagens para Sistemas Distribuidos. Tolerância a Falhas (Aprovada pelo Departamento/Conselho Científico em __/____).
5. Teoria da Computação e Algoritmos . Engenharia de Algoritmos. Algoritmos Paralelos. Biologia Computacional. Algoritmos para Problemas de Biologia Molecular (Aprovada pelo Departamento/Conselho Científico em __/____).
6. Teoria dos Grafos . Algoritmos em Grafos. Grafos Perfeitos (Aprovada pelo Departamento/Conselho Científico em __/____).
7. Otimização Combinatória . Problemas Minimax. Aplicações à Otimização. Roteamento. Algoritmos Distribuidos (Aprovada pelo Departamento/Conselho Científico em __/____).
8. 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 __/____).
9. Geometria Computacional . Casamento de Padrões Geométricos. Ambientes para Desenvolvimento de Algoritmos. Algoritmos Eficientes (Aprovada pelo Departamento/Conselho Científico em __/____).
10. 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 __/____).
11. Projetos Integrados de Software e Hardware . Sistemas de Microprocessadores para Aplicações Especiais. Software Básico Embutido (Aprovada pelo Departamento/Conselho Científico em __/____).
12. Representação do Conhecimento . Lógicas Aplicadas a Inteligência Artificial. Lógicas não Monotônicas (Aprovada pelo Departamento/Conselho Científico em __/____).
13. 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 __/____).
14. 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 __/____).
15. 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 __/____).
16. 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 __/____).
17. 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 __/____).
18. 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 __/____).
19. Bancos de Dados Não Convencionais . Gerenciamento. Avaliação de Desempenho. Bancos de Dados Geográficos (Aprovada pelo Departamento/Conselho Científico em __/____).
20. 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 __/____).
21. 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 __/____).
22. 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 __/____).
23. 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 __/____).
24. 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 __/____).
25. Ciência da Computação . Pesquisas abrangentes em computação (Aprovada pelo Departamento / Conselho Científico em 03/1995).