Nuno Lopes*, researcher at INESC-ID and professor at the Department of Informatics at Técnico, received the prestigious and highly competitive Google Research Scholar Award, which includes a grant of $60,000.

The award was given for his research in the area of automatic verification of compilers, which Nuno Lopes has developed in the last decade. In the past, this work had already been recognised with two distinctions for best papers at the Programming Language Design and Implementation conference (PLDI), and a technology transfer award. The prize money will be used to hire students to work on Alive2 for LLVM compiler verification, a tool developed by INESC-ID and used by several companies, including Google.

The prize is awarded annually by Google and aims on funding world-class research conducted by early-career professors who are pursuing research in fields relevant to Google. This year, only two were granted in the area of Software Engineering and Programming Languages worldwide, with INESC-ID being one of the recipients.

*Nuno Lopes is a researcher within the High Performance Computing Architectures and Systems Scientific Area at INESC-ID and Associate Professor at the Department of Computer Science and Engineering at Instituto Superior Técnico.