[gtranslate]
Artigo de aluno do PPGI é premiado como melhor trabalho da 16th Conference on Intelligent Computer Mathematics
O artigo científico "Nominal C-matching" recebeu o prestigioso "Best Paper Prize" durante a 16th Conference on Intelligent Computer Mathematics (CICM 2023), realizada na Universidade de Cambridge, Reino Unido.
O trabalho tem como autores dois integrantes do Programa de Pós-Graduação em Informática (PPGI/UnB): o aluno Gabriel Ferreira Silva e o Prof. Mauricio Ayala-Rincón.
A pesquisa apresenta uma formalização rigorosa no assistente de demonstração PVS, fruto de uma frutífera cooperação interinstitucional entre pesquisadores do PPG em Matemática da UnB, do PPG em Informática (CIC) e renomados centros europeus, incluindo o Imperial College London, King’s College London e RISC/Johannes Kepler University Linz.
A formalização matemática de Gabriel insere-se em uma consolidada linhagem de pesquisas formais conduzidas ao longo de mais de uma década pelo Grupo de Teoria da Computação do CIC.