METODOLOGIA DA COMPUTAÇÃO
Esta linha tem como objetivo o desenvolvimento de modelos de sistemas computacionais, bem como técnicas para tratar e analisar esses modelos, abordando assuntos relacionados com Teoria da Computação e Matemática da Computação. Temas de interesse desta linha de pesquisa incluem: Lógica, Linguagens Formais e Autômatos, Computabilidade, Análise de Algoritmos, Algoritmos em Grafos, Teoria Espectral de Grafos e Otimização combinatória.
Esta linha tem como objetivo investigar técnicas, modelos e metodologias para a construção de sistemas computacionais que se caracterizam por aspectos de distribuição, automação, simulação, visualização e segurança. Temas de interesse desta linha de pesquisa incluem: Computação de Alto Desempenho, Computação Gráfica, Processamento de Imagens e Interação, Inteligência Computacional, Interação Homem-Computador, Processamento Paralelo e Distribuído, Redes de Computadores, Robótica e Automação, Segurança da Informação (Defesa Cibernética), Sistemas de Telecomunicações e Visualização.
Esta linha tem como objetivo o desenvolvimento de conceitos, modelos, técnicas e processos para o desenvolvimento de tecnologias e de sistemas de informação. Temas de interesse desta linha de pesquisa incluem: Banco de Dados, Bioinformática, Educação à Distância, Engenharia de Software, Inteligência Artificial, Mineração de Dados e de Texto e Modelagem Conceitual.