Visita científica de professores do CIn-UFPE à universidade chinesa marca começo de pesquisa global sobre Métodos Formais na verificação de tecnologias de direção inteligente
Os professores Gustavo Carvalho e Juliano Iyoda, do Centro de Informática (CIn) da UFPE, realizaram uma visita científica, no final de março, à Southwest University, em Chongqing, na China. A agenda marcou o início das atividades de um projeto internacional de pesquisa voltado ao estudo do uso de Métodos Formais na verificação de sistemas inteligentes automotivos.
Intitulada “Verification and Security Key Technologies for Export-Oriented Automotive Intelligent Driving Systems Based on Formal Methods”, a iniciativa investigará, ao longo de três anos, técnicas para garantir maior segurança e confiabilidade em sistemas de direção inteligente voltados ao setor automotivo.
O projeto reúne pesquisadores de instituições de diferentes países. Além do CIn-UFPE, participam da colaboração a Aarhus University, da Dinamarca; o Institute of Software Chinese Academy of Sciences, da China; a própria Southwest University, também na China; e a parceira industrial ChangAn Automotives. No CIn, integram ainda a equipe os professores Márcio Cornélio e Augusto Sampaio, líder do grupo brasileiro no projeto.
Durante a visita à China, além de participar das atividades técnicas da pesquisa, Gustavo Carvalho e Juliano Iyoda apresentaram o Centro para estudantes de Computação da Southwest University, fortalecendo o intercâmbio acadêmico e ampliando a visibilidade internacional das pesquisas desenvolvidas em Pernambuco.
A participação em iniciativas desse porte reforça a inserção global do CIn-UFPE em redes estratégicas de pesquisa e evidencia a contribuição da instituição para o avanço de tecnologias críticas em áreas como segurança computacional, sistemas inteligentes e inovação automotiva.
Comentários desativados