Prémio Científico IBM 2013 distingue investigador da Universidade do Minho
Alexandre Madeira vê reconhecido o seu trabalho de investigação para o desenvolvimento das Ciências da Computação e Tecnologias da Informação em Portugal.
O premiado é Alexandre Madeira, de 34 anos, doutorado em Ciências da Computação pela Universidade do Minho. O investigador venceu a 24.ª edição do Prémio Científico IBM, no valor de 15 000 euros, com o projecto “Hibridização de Lógicas: uma abordagem genérica à reconfigurabilidade de software”.
“Localizo o campo em que tenho desenvolvido investigação na aplicação, desenvolvimento e combinação de lógicas para o projecto rigoroso de software. As contribuições mais significativas que desenvolvi até ao momento centram-se essencialmente na especificação axiomática de sistemas computacionais, lógicas híbridas e teoria das instituições”, defendeu Alexandre Madeira.
O júri do Prémio Científico IBM 2013 decidiu atribuir o prémio a este trabalho por ser inovador e tecnicamente muito sólido, na fronteira entre a teoria da computação e a matemática, e motivado por problemas concretos da indústria de software para o desenvolvimento de métodos de especificação de sistemas reconfiguráveis.
Esta investigação foi desenvolvida no âmbito do programa doutoral MAP-I, que integra as universidades do Minho, Porto e Aveiro, onde foi orientado pelos docentes investigadores Luís Soares Barbosa (departamento de Informática da Universidade do Minho), Manuel António Martins (departamento de Matemática da Universidade de Aveiro) e Razvan Diaconescu (Instituto de Matemática “Simion Stoilow”, Roménia).
O MAP-I obtém desta forma o seu primeiro Prémio Científico IBM, o mais importante prémio científico português em Tecnologias de Informação e Ciências da Computação e que é fortemente reconhecido junto da comunidade científica.