Investigadora INESC TEC recebe bolsa de €1,5M do European Research Council
Alexandra Silva, investigadora associada do Laboratório de Software Confiável (HASLab) do INESC TEC e professora associada na University College London, recebeu um financiamento de €1,5M do Conselho Europeu de Investigação para programar sistemas de redes complexos, uma área de estudo ligada à engenharia de software.
27 novembro 2015
Alexandra Silva, investigadora associada do Laboratório de Software Confiável (HASLab) do INESC TEC e professora associada na University College London, recebeu um financiamento de €1,5M do Conselho Europeu de Investigação para programar sistemas de redes complexos, uma área de estudo ligada à engenharia de software.
O trabalho que Alexandra Silva vai desenvolver nos próximos cinco anos na University College London tem como objetivo projetar novas ideias provenientes de programação, lógica e verificação para a programação de redes. A bolsa do European Research Council (ERC) providencia os meios para formar um grupo de investigação composto por dois investigadores pós-doutorados e dois doutorandos.
“O mundo está cada vez mais conectado e com redes mais complexas, pelo que aquilo que pretendemos fazer no longo prazo é facilitar as tarefas diárias das pessoas e oferecer garantias de confiabilidade dos sistemas usados”, explica a investigadora convidada do HASLab.
O Conselho Europeu de Investigação escolhe anualmente para financiamento projetos de investigação que considere de excelência em qualquer disciplina científica, desde que estes venham a ser desenvolvidos numa instituição sediada na Europa e sejam inovadores e de vanguarda nas áreas científica e tecnológica.
De recordar que em 2013, a investigadora do HASLab venceu o Prémio Científico IBM, atribuído pela primeira vez a uma mulher, com o trabalho “Coálgebra de Kleene”, onde generalizava, numa extensão nunca anteriormente pensada, um dos maiores resultados das Ciências da Computação – o teorema de Kleene. Com este trabalho, Alexandra Silva criou linguagens de especificação rigorosas para descrever/prescrever e verificar o comportamento de vários modelos de computação.
A investigadora de 31 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 apenas em 5% dos casos – na Universidade de Nijmegen, Holanda.
Créditos foto: Website Alexandra Silva
INESC TEC, novembro de 2015