“
A sessão de abertura cabe ao Reitor da UMinho, António M. Cunha. Seguem-se as intervenções do presidente do júri do prémio, Carlos Salema; do diretor do Departamento de Informática da UMinho, Luís Soares Barbosa; da vencedora do Prémio IBM, Alexandra Silva; da vencedora da menção honrosa, Mariana Leite de Almeida (Instituto Superior Técnico); e do presidente da IBM Portugal, José Joaquim de Oliveira, que vai entregar os troféus.
A tese de doutoramento de Alexandra Silva, ?Coalgebra de Kleene?, premiada agora com 15.000 euros, é um importante trabalho em investigação fundamental que abre novos caminhos numa abordagem cientificamente informada e rigorosa da Informática. Falhas de software são frequentes mas nem sempre inofensivas. Quando se controlam sistemas de risco, como aviões ou dispositivos médicos, uma falha pode originar a perda de vidas humanas. Os modelos teóricos de Alexandra Silva contribuem para metodologias que elevam o nível de confiabilidade do software, estabelecendo provas formais da sua correção.
Alexandra Silva, de 27 anos, licenciou-se em 2006 em Matemática e Ciências da Computação na UMinho, com 19 valores, e doutorou-se com distinção “cum laude” (atribuída só em 5% dos casos) na Universidade de Nijmegen, Holanda. É bolseira de pós-doutoramento no centro HASLab, do Departamento de Informática (DI) da UMinho, e desde este mês professora auxiliar no grupo de Fundamentos da Computação da Universidade de Nijmegen.
DI é uma referência internacional
A UMinho, através do DI, tem sido desde o seu início uma referência nacional e internacional na promoção de uma visão rigorosa e matematicamente sólida deste ramo científico. Tem, em particular, um papel pioneiro na investigação em métodos formais de construção e verificação de software. Caso inédito nas universidades portuguesas, esta área curricular é ensinada de modo sistemático e sem interrupção na UMinho nos últimos 25 anos.
A IBM Portugal instituiu o seu Prémio Científico em 1990, com o fim de distinguir trabalhos nos mais diversos domínios e motivar jovens portugueses a divulgar os seus projetos, fomentando o relacionamento entre as comunidades industriais, académica e de investigação científica.
Workshop do Projeto QAIS
O DI realiza esta segunda-feira, das 11h às 17h30, um Workshop de Investigação que celebra a entrega do Prémio IBM 2010. Nesta sessão técnica, Alexandra Silva apresentará o novo projeto QAIS, do centro HASLab (haslab.di.uminho.pt), recentemente financiado pela FCT e de que é investigadora principal. O projeto incide na análise quantitativa de sistemas de interação, seus fundamentos matemáticos e algoritmos.
__________________________________________
Gabinete de Comunicação, Informação e Imagem
Universidade do Minho
Tel.: (+351) 253601109 | 961766329
Fax: (+351) 253601105
E-mail: gcii@reitoria.uminho.pt
(Pub. Out/2011)