Trabalho de Professora do IME recebe Menção Honrosa no 17th NASA Formal Methods Symposium
Artigo de coautoria da Profª. Drª. Thaynara Arielly foi premiado no 17th NFM
O 17th NASA Formal Methods Symposium, NFM 2025, ocorreu entre os dias 11 e 13 de junho de 2025, em Hampton Roads, Virgínia, EUA (especificamente, no College of William & Mary em Williamsburg, Virgínia), e focou em técnicas formais para garantia de software e sistemas para sistemas críticos da NASA, promovendo a colaboração entre a academia e profissionais da indústria.
O evento foi organizado pelo Grupo de Pesquisa de Métodos Formais da NASA (NFM), e os anais apresentaram artigos cuidadosamente selecionados em tópicos como avanços e integração de métodos formais.
No escopo da conferência, o artigo “Verification of an Anti-unification Algorithm in PVS”, co-autorado pela professora Thaynara Arielly de Lima, do Instituto de Matemática e Estatística da Universidade Federal de Goiás (IME/UFG), foi premiado!
A menção honrosa foi um reconhecimento do comitê do programa do NFM 2025 à professora Thaynara de Lima e aos colaboradores Mauricio Ayala-Rincón, Maria Júlia Dias Lima, Mariano Miguel Moscato e Temur Kutsia.
Acesse aqui o artigo premiado e aqui o certificado de Menção Honrosa!
Categorias: Notícias capa capa Nasa Premiação Menção Honrosa