NOVA LINCS researchers receive Best Paper Award at INFORUM 2025

Ion Chirica, NOVA LINCS’s PhD student, and the NOVA LINCS Software Systems researchers Mário Pereira and António Ravara, were awarded the best paper award at the 16th edition of Simpósio de Informática (INFORUM 2025), for their paper entitled “Ethereum Verified Machine: A Certified OCaml Implementation of the EVM”.