Latest News

Congratulations to Alexandra Mendes and João F. Ferreira, each awarded an Amazon Research Award in Automated Reasoning!

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.