No passado dia 3 de junho foram conhecidos os vencedores do prestigiante prémio “Amazon Research Awards” (ARA), programa que apoia a investigação em instituições académicas e organizações sem fins lucrativos, em áreas que se alinham com a sua missão de promover uma ciência centrada no cliente.
Na lista dos 70 vencedores, que representam 44 universidades em 10 países, encontramos Alexandra Mendes, Professora Auxiliar do DEI, vencedora na área de Automated Reasoning, pela proposta “Overcoming Barriers to the Adoption of Verification-Aware Languages“. Esta atribuição traz a novidade de ser a primeira vez que o prémio é atribuído a investigadores portugueses baseados em Portugal.
A Professora focará o seu trabalho na identificação e resolução dos obstáculos à adoção de linguagens de programação com suporte para verificação formal, em particular Dafny, em colaboração com a Amazon Web Services (AWS). O objetivo é promover a usabilidade e a adoção de ferramentas de verificação formal entre os programadores de software.
Os ARA são altamente competitivos, com propostas avaliadas por cientistas da Amazon, em função da qualidade do seu conteúdo científico e do seu potencial de impacto na comunidade de investigação e na sociedade. Entre os premiados atuais e anteriores contam-se investigadores de outras instituições de referência, como a Carnegie Mellon University (CMU), o Massachusetts Institute of Technology (MIT), Harvard, Stanford, e Yale.
Toda a informação sobre esta última edição dos ARA (Fall 2024) pode ser vista aqui.