Foi com o projecto “Hibridização de Lógicas: uma abordagem genérica à reconfigurabilidade de software” que Alexandre Madeira, do Centro de Investigação da Universidade do Minho, ganhou a 24.ª edição do “Prémio Científico da IBM” referente ao ano de 2013, que distingue anualmente o contributo de trabalhos de investigação para o desenvolvimento das Ciências da Computação e Tecnologias de Informação. A entrega do prémio, no valor pecuniário de 15 mil euros, foi feita no auditório Pacheco de Amorim, do Instituto Politécnico de Tomar, no dia 23 de Setembro, pela mão do presidente da IBM Portugal, António Raposo Lima, e ainda pelo ministro da Educação e Ciência, Nuno Crato. A escolha do Politécnico de Tomar como palco desta cerimónia terá tido em conta o facto da IBM ter desenvolvido, em parceria com o IPT e desde há um ano a esta parte, um Centro de Inovação Tecnológica, dinamizado pela SoftINSA. O trabalho, ainda numa fase muito académica, situa-se “na fronteira entre a Matemática e as ciências da Computação”, consistiu na elaboração de uma fórmula com o objectivo de se poder vir a desenhar software infalível. “Recorrendo a bases matemáticas, vamos procurar definir um método de especificação rigoroso para desenvolver software que nunca falhe, à imagem das outras engenharias”, referiu a O MIRANTE. Natural de Aveiro, Alexandre Madeira, de 34 anos, disse a O MIRANTE que o prémio recebido vai dar muito jeito para pagar umas obras que fez recentemente, em casa. António Raposo de Lima, presidente da IBM, deu exemplos de como a tecnologia está a mudar o mundo e sublinhou que o projecto vencedor foi escolhido “entre dezenas de candidaturas de muita qualidade”, agradecendo o trabalho “árduo” dos membros do júri que contribuem para o prémio que tem distinguido o que melhor se faz em ciência em Portugal, promovendo jovens investigadores e apelando à implementação de soluções inovadoras. Na sua longa alocução, o ministro Nuno Crato lembrou a importância da criação dos cursos de Técnicos Superiores Profissionais, também no Politécnico de Tomar a partir deste ano, elogiando o facto do IPT ter uma relação próxima com as escolas secundárias da região. No início da cerimónia, o presidente do IPT, Eugénio Pina de Almeida, que deu as boas vindas aos presentes, considerou que vivemos “tempos de mudanças” que obrigam as sociedades e as instituições modernas a se preparar e orientar para enfrentar os desafios e servir a comunidade em que se inserem, numa lógica de parceria com todos os agentes.