Latest News

Congratulations to Nuno Saavedra and João F. Ferreira for winning an ACM SIGSOFT Distinguished Paper Award at ICSE 2025 for their paper “Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification”.

Congratulations to João F. Ferreira and Alexandra Mendes for securing funding for the InfraGov project, a new research project funded to address critical challenges in the reliability and security of Infrastructure as Code (IaC) used in Public Administration.

Alexandra Mendes, João F. Ferreira, and Martim Afonso meet and present their work to Portuguese Minister of Education, Science and Innovation at Carnegie Mellon University.

Congratulations to Alexandra Mendes for securing funding for the VeriFixer project, a new research project focused on developing automated repair techniques for verification-aware programming languages.

Congratulations to Alexandra Mendes for being one of the two winners of the third edition of the Atlantic Security Award!