O artigo Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification, cuja equipa de autores inclui Nuno Saavedra, aluno do PDEIC, João F. Ferreira, professor do DEI e seu orientador e Pedro Carrott, antigo aluno MEIC, presentemente a fazer PhD no Imperial College London, em colaboração com investigadores da UC San Diego, Robert Thompson, Kevin Fisher, Sorin Lerner, Emily First; e UMass, Alex Sanchez-Stern, Yuriy Brun foi premiado como "Distinguished Paper Award" na conferência ICSE 2025. 

O artigo apresenta uma ferramenta inovadora de síntese automática de provas que utiliza aprendizagem automática e modelos de linguagem de grande dimensão com técnicas de aumento por recuperação. 

A ICSE é a conferência de maior prestígio em engenharia de software, e o Prémio ACM SIGSOFT Distinguished Paper reconhece artigos de qualidade excecional apresentados na conferência. 

Muitos Parabéns ao Nuno, ao João e a toda a equipa de investigação!