Alexandre Madeira recebe Prémio Científico IBM
Alexandre Madeira
O Prémio Científico IBM referente ao ano de 2013 distinguiu o trabalho de Alexandre Madeira, um investigador do HASLab, centro de investigação da Universidade do Minho, associado ao INESC Tec. O premiado, de 34 anos, é doutorado em ciências da computação pela Universidade do Minho.
A 24ª edição da iniciativa do fabricante reconhece o valor do 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”, explica AlexandreMadeira.
De acordo com um comunicado, o júri da iniciativa decidiu no dia 31 de Maio de 2014, atribuir o prémio ao referido trabalho por este “inovador e tecnicamente muito sólido”. Está segundo a nota de imprensa “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”.
A 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 prémio, no valor de 15.000 euros, pretende distinguir o contributo de trabalhos de investigação para o desenvolvimento das ciências da computação e TI em Portugal.
