Linhas de Pesquisa
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.
=============================================================================================================================
Tópicos de Pesquisa
Arquitetura de Computadores
Bancos de Dados
Circuitos e Sistemas Integrados
Computação Aplicada à Saúde
Computação em Nuvem
Computação Gráfica
Engenharia de Sistemas Computacionais
Engenharia de Software
Informática na Educação
Inteligência Artificial
Inteligência Computacional
Interação Humano-Computador
Linguagens de Programação
Métodos Formais
Otimização
Pesquisa Operacional
Processamento de Alto Desempenho
Processamento de Imagens
Redes de Computadores
Robótica
Segurança da Informação
Segurança de Sistemas Computacionais
Sistemas Colaborativos
Sistemas de Informação
Sistemas de Tempo Real
Sistemas Distribuídos
Sistemas Multimídia e Web
Sistemas Tolerantes a Falhas