| | | | | | | |

Linhas de Pesquisa

Algoritmos, Grafos e Combinatória

Linhas de Pesquisa:

Análise de Algoritmos

Biologia Computacional

Computação Numérica

Geometria Computacional

Linguagens Formais e Autômatos

Otimização Combinatória

Teoria dos Grafos

Arquitetura de Computadores, Compiladores e Design de Hardware

Linhas de Pesquisa:

Arquitetura de Computadores

Linguagens de Programação e Compiladores

Projeto e Implementação de Máquinas Virtuais

Projeto e Teste de Circuitos Digitais

Projeto Integrado de Hardware e Software

Computação Visual e Inteligência Artificial

Linhas de Pesquisa:

Análise de Padrões

Aprendizado de Máquina

Computação Gráfica

Inteligência Artificial

Processamento de Imagens

Processamento de Línguas Naturais

Recuperação de Imagens por Conteúdo

Visão Computacional

Engenharia de software, Gerenciamento de Informações e Interfaces Homem-Computador

Linhas de Pesquisa:

Bancos de Dados

Engenharia de Software

Engenharia Dirigida por Modelos

Informática na Educação

Interfaces Humano-Computador

Ontologias Computacionais

Tolerância a Falhas

eScience

Linhas de Pesquisa:

Bioinformática

Computação Forense

Gerenciamento de Dados Geográficos

Processamento e Análise de Imagens Biomédicas

Projeto de Redes e Segurança de Dados

Linhas de Pesquisa:

Criptografia Computacional

Redes de Computadores

Segurança Computacional

Sistemas Distribuídos