���Ǵ���

, investigador na área de engenharia de software e linguagens e programação no Instituto Superior Técnico da ���Ǵ��� e no , viu a  reconhecer o seu trabalho com um prémio no valor de 60 mil dólares (cerca de 55 mil euros). A tecnológica norte-americana distingue anualmente os investigadores que mais se destacam no campo de estudos. Na edição deste ano, apenas dois prémios foram atribuídos nesta área, a nível mundial.

Com o dinheiro do prémio, o também docente do Instituto Superior Técnico, pretende recrutar mais estudantes para trabalharem no Alive 2 – a ferramenta para a verificação automática de compiladores (programas de computador que traduzem código em linguagem de programação) que começou como um protótipo de investigação, há mais de dez anos e é, na atualidade, usado por várias tecnológicas como a própria  , por exemplo.

A verificação de compiladores surge para garantir que não há bugs que possam gerar código binário errado, o que poderia levar ao crash de um programa e falhas de segurança em sistemas. Os compiladores são programas usados em informática para traduzir os programas escritos nas linguagens de programação para código binário, que é o que os processadores conseguem executar, ou seja estabelecem a “ponte entre os programadores e os processadores”, explica Nuno Lopes. Para além disto, otimizam ainda o código gerado (encurtam-no), o que o torna mais rápido. Alguns dos efeitos práticos passam pela possibilidade de que as baterias dos telemóveis tenham maior durabilidade e que as aplicações sejam mais pequenas, podendo assim instalar-se mais num mesmo telefone.

O reconhecimento da ferramenta pela  – um dos seus utilizadores – “prestigia o Instituto Superior Técnico” e coloca-o como “líder na área dos compiladores”, conclui o investigador.

Em 2022, já havia recebido  para desenvolver projetos nesta área. 

São parceiras do Técnico neste trabalho a (Coreia do Sul) e a (Estados Unidos da América).

Fonte: