Investigadora do HASLab/INESC TEC vencedora do Prémio Científico IBM

Imagem D/R

Alexandra Martins da Silva, investigadora do High Assurance Software Laboratory da Universidade do Minho (HASLab – Parceiro Privilegiado do INESC TEC, Laboratório Associado coordenado pelo INESC Porto), foi a vencedora da 21.ª edição do Prémio Científico IBM.

Adriano Cerqueira

"Coálgebra de Kleene" é o título do trabalho que valeu o prémio a Alexandra Silva, tornando-a assim na primeira mulher a ser premiada com esta distinção.

O seu trabalho generaliza, numa extensão nunca anteriormente pensada possível, um dos resultados maiores das Ciências da Computação: o teorema de Kleene.  Permite, assim, criar modelos de sistemas computacionais complexos, linguagens rigorosas para  descrever/prescrever  e verificar o seu comportamento. A sua abordagem cobre todos os casos documentados na literatura e permite tratar outros com solução até então desconhecida, nomeadamente  modelos para sistemas com evolução incerta, muito relevantes em aplicações onde a probabilidade de falha e o controlo de excepções tem de ser rigorosamente considerado.

Instituído em 1990 pela IBM Portugal, o Prémio Científico IBM tem a finalidade de distinguir trabalhos de elevado mérito no campo das Ciências da Computação, com o objetivo de estimular jovens investigadores portugueses a divulgarem os seus trabalhos.

O Prémio Científico IBM foi entregue no dia 18 de outubro numa cerimónia realizada na Universidade do Minho que contou com a presença do Ministro da Educação e Ciência, Nuno Crato.

Alexandra Silva, de 27 anos, licenciou-se em 2006 em Matemática e Ciências da Computação na Universidade do Minho, 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 Universidade do Minho, e desde outubro professora auxiliar no grupo de Fundamentos da Computação da Universidade de Nijmegen.

Fonte Original: BIP 120

HASLab torna-se parceiro privilegiado do INESC Porto LA

Imagem D/R

Criado em 2010 a partir do Centro de Ciências e Tecnologias da Computação (CCTC) e do Departamento de Informática da Universidade do Minho, o High Assurance Software Laboratory (HASLab) da Universidade do Minho adquiriu recentemente o estatuto de Parceiro Privilegiado do Laboratório Associado INESC Porto LA.

Adriano Cerqueira

Atualmente em processo de reconhecimento como unidade de I&D FCT para poder solicitar formalmente a inclusão no Laboratório Associado, o HASLab tem como principal objetivo incrementar as capacidades conjuntas da sua equipa na área dos Sistemas Confiáveis.

Correção, capacidade de resposta, previsibilidade, robustez e segurança são fatores necessários para a implementação de um Sistema Confiável. Unir estas diferentes áreas através da pluridisciplinaridade de conhecimentos é um dos principais desafios a que este grupo da Universidade do Minho se propõe.

O HASLab junta um total de 50 colaboradores, 21 dos quais doutorados. Além do INESC Porto LA este grupo mantém parcerias industriais com a PT Inovação, a Critical Software, a Critical Manufacturing, a Pathena, a Edisoft, a Multicert, e a Holandesa Software Improvement Group, entre outras.

A nível académico, o HASLab conta também com uma extensa rede internacional de parceiros. Do Reino Unido colaboram com o HASLab a Royal Holloway, University of London, a University of York, University of Nottingham, e o HP Labs Bristol. A Aalborg University (Dinamarca), a CWI (Holanda), a Universidad Politécnica de Madrid, a École Normale Supérieure (França) e a École Polytechnique Fédérale de Lausanne (Suíça) são outros elementos que merecem destaque nesta lista, assim como, no Brasil, a Universidade de Campinas, a Universidade Federal da Bahia, o Instituto de Aeronáutica e Espaço, e o Instituto Tecnológico de Aeronáutica.

Fonte Original: BIP 114