As atividades de pesquisa e desenvolvimento em computação têm com foco o setor aeroespacial e de defesa, bem como atividades dirigidas a outros setores estratégicos.

Também são realizadas pesquisas mais teóricas, mas com a visão de virem a ser adequadas ao foco principal da IEC. Como pode ser visto a seguir, temos duas áreas de concentração que englobam quatro linhas de pesquisa.

Áreas de Concentração

Metodologias e Teoria de Computação Estudo de modelos lógicos, probabilísticos, estatísticos, geométricos e linguísticos. Modelos matemáticos e computacionais que abstraem fenômenos do mundo físico. Computabilidade de problemas, elaboração e análise de algoritmos, modelagem matemática e numérica, simulação de sistemas complexos, computação de alto desempenho.
Sistemas de Computação e de Informação Métodos e técnicas de modelagem e desenvolvimento de sistemas complexos de informação com garantia de confiabilidade. Requisitos de distribuição e segurança computacional. Elaboração de técnicas para automatizar o processamento da informação. Engenharia de ontologia, engenharia de software e redes de computadores.


Linhas de Pesquisa

NOME DESCRIÇÃO ÁREA DE CONCENTRAÇÃO
Redes, Segurança Computacional e Defesa Cibernética Métodos e técnicas de análise e projeto de redes e/ou sistemas distribuídos, segurança computacional, defesa cibernética, redes definidas por software, computação em nuvem, cidades inteligentes e internet das coisas. Sistemas de Computação e de Informação
Sistemas Autônomos e Ciência de Dados Técnicas de análise de dados, aprendizado de máquina e big data. Análise de redes complexas e processos de descoberta de conhecimento. Estudo do comportamento inteligente e sua realização em máquinas computacionais. Aplicações voltadas à robótica e à percepção por máquina. Metodologias e Teoria de Computação
Software e Sistemas de Informação Desenvolvimento de métodos de modelagem de sistemas de informação e software embarcado. Engenharia de ontologia. Sistemas colaborativos. Desenvolvimento de métodos e processos para especificação, implementação, verificação e safety de sistemas críticos. Sistemas de Computação e de Informação
Teoria e Matemática Computacional Desenvolvimento de métodos numéricos para modelagem e simulação de sistemas complexos e multifísicos. Obtenção de soluções exatas ou aproximadas para problemas de otimização com natureza combinatória. Técnicas de paralelização, otimização e computação de alto desempenho. Metodologias e Teoria de Computação