Linhas de Pesquisa

Metodologia e Técnicas da Computação:

Desenvolvimento Dirigido por Modelos; Evolução de Software; Métodos Formais; Produtividade em Software; Verificação, Validação e Testes;  Processos de desenvolvimento de software (praticas); Linhas de Produto de Software; Detecção e Reconhecimento de Faces; Renderização Não-Fotorealística; Sumarização de Vídeos; Análise da Composição de Fotografias; Codificação de Objetos no Cérebro; Classificação de Patologias da Fala; Banco de Dados Espaciais; Temporais e Espaço-Temporais; Banco de Dados Multimídia; Banco de Dados Distribuídos; Mineração de Dados; Data Warehousing; Web Semântica; Recuperação da Informação; Gestão de Tecnologia de Informação; Educação em Engenharia de Software.

Sistemas de Computação:

Projeto de Interface Homem-Máquina; Software para Computação Pervasiva; Software Embarcado; Análise Automática de Formulários; Sistemas Multi-agentes; Redes ad hoc Sem Fio; Redes de Sensores Sem Fio; Grades Computacionais; Sistemas entre Pares (Peer-to-Peer); Computação na Nuvem; Automação de redes elétricas de potência; Projeto de circuitos integrados digitais para aplicação em processamento de voz e processamento de vídeo; Metodologia para projeto de circuitos integrados digitais, incluindo verificação funcional e simulação da aplicação de técnicas para baixar o consumo de energia elétrica; algoritmos para processamento de sinais, incluindo voz, imagens e vídeo; Sistemas de Recomendação; Bibliotecas Digitais; Sistemas P2P de Gerenciamento de Dados.