Secretaria dos Departamentos

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 __/____).