Nuno Lopes, docente do DEI, foi distinguido com o prémio Google Research Scholar.

O prémio da Google, no valor de 60 mil dólares (aproximadamente 55 mil euros), reconheceu a utilidade do Alive 2, uma ferramenta de verificação automática de compiladores.

A Google Research Scholar é um programa que tem como objetivo apoiar professores que desenvolvam projetos em áreas de interesse da Google. Em 2024, na área de “Software engineering and programming languages”, no qual se integra o projeto do Professor Nuno Lopes, apenas foram atribuídos 2 prémios a nível mundial.

(imagem: INESC-ID)