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.
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. |
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 |