Engenharia de Sistemas Computacionais

Esta linha de pesquisa trata da aplicação e desenvolvimento de modelos, algoritmos, métodos numéricos e métodos formais para o tratamento de problemas relacionados a sistemas computacionais. Para a construção dos programas, a engenharia de software se preocupa em desenvolver abordagens sistemáticas para a análise, projeto, codificação, teste e manutenção da tal forma a alcançar níveis adequados de previsibilidades em qualidade, custo e prazos. Sendo assim, esta linha de pesquisa trata da aplicação e desenvolvimento sistemático de modelos, metodologias, algoritmos, métodos numéricos e métodos formais para o tratamento de problemas relacionados a sistemas computacionais. Como exemplos de problemas que serão abordados estão a análise de desempenho de protocolos de comunicação, computação de alto desempenho, redes de sensores sem fio, computação ubíqua e pervasiva, tolerância a falhas, manipulação de grande volume de dados, considerando mecanismos de consultas e integridade de informações.

Computação Visual e Inteligente

A linha de pesquisa Computação Visual e Inteligente objetiva o estudo e o desenvolvimento de técnicas, métodos e metodologias aplicados a problemas que requerem em suas soluções conhecimentos de Computação Gráfica ou Inteligência Artificial, ou de ambas. Isso envolverá, por exemplo, temas como representação de conhecimento, aprendizagem de máquina, do lado da IA, e de, por exemplo, modelagem e visualização de objetos gráficos, análise, síntese e processamento de imagens.