Alexandra Mendes, investigadora do INESC TEC, acaba de receber o Amazon Research Award, na área de automated reasoning. É a primeira vez que este prémio é atribuído a investigadores que desenvolvem os seus trabalhos de I&D em Portugal.
A investigadora do INESC TEC venceu este galardão com o projeto “Overcoming Barriers to the Adoption of Verification-Aware Languages”, que tem como objetivo identificar e superar os principais obstáculos à adoção de linguagens de programação com suporte para verificação formal, com especial enfoque na linguagem Dafny.
“O objetivo é melhorar a usabilidade destas linguagens e fomentar a sua integração no desenvolvimento de software, promovendo uma adoção mais ampla das ferramentas de verificação formal entre programadores”, explica Alexandra Mendes.
O trabalho será desenvolvido em colaboração com a Amazon Web Services (AWS), o que permitirá aproximar a investigação académica das necessidades reais da indústria. O apoio recebido através deste prémio inclui financiamento e recursos computacionais, potenciando a capacidade de investigação do INESC TEC, na área de software confiável.
A proposta surge da experiência da investigadora na utilização, ensino e desenvolvimento de ferramentas de verificação formal, como Dafny, Verus e Why3. Estas linguagens, embora promissoras, continuam a apresentar barreiras significativas para a sua adoção fora de contextos altamente especializados.
“Este estudo pretende fornecer uma base mais sistemática para identificar novas funcionalidades prioritárias que suportem a adoção destas linguagens, ajudando a orientar os nossos esforços – e os de outras equipas de investigação – de forma mais eficaz”, sublinha.
O projeto espera ainda colmatar a ausência de estudos sistemáticos que documentem os desafios enfrentados por potenciais utilizadores destas linguagens, contribuindo assim para o avanço do conhecimento na área.
A longo prazo, os resultados desta investigação poderão contribuir para a criação de software mais robusto e seguro, não apenas em contextos críticos, mas também em aplicações quotidianas.
“Se as linguagens de programação com suporte para verificação formal se tornarem mais acessíveis aos programadores em geral, tal poderá levar a uma maior adoção dessas ferramentas e, consequentemente, à produção de software mais confiável – não apenas em contextos de software crítico, mas também em aplicações do dia a dia”, conclui a investigadora.
O projeto será desenvolvido no âmbito da colaboração entre o INESC TEC, a Faculdade de Engenharia da Universidade do Porto (FEUP) e a Amazon Web Services.
A investigadora mencionada na notícia tem vínculo ao INESC TEC e à Faculdade de Engenharia da Universidade do Porto (FEUP) e ao Laboratório de Fiabilidade de Software, que colidera.
Notícias, atualidade, curiosidades e muito mais sobre o INESC TEC e a sua comunidade!
