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