Offside
30 Anos à Conversa

No ano do trigésimo aniversário do INESC TEC, o BIP foi em busca de histórias da casa, contadas por gente da casa.

Corporate

Um olhar sobre nós na voz dos nossos parceiros - Testemunho da ADIRA – Metal-Forming Solutions, SA, pela voz de Tiago Faro.

Fora de Série

"Fico embevecida por constatar que o trabalho que realizo não passa despercebido, o que me dá incentivo para continuar a vir trabalhar com um sorriso na cara e melhorar continuamente o meu desempenho." Joana Dumas (CRACS)

A Vós a Razão

"(...) as duas instituições que me acolhem (INESC TEC e Instituto Politécnico do Porto) comemoram 30 anos em simultâneo. Tem sido por isso um ano cheio de comemorações, reflexões, olhares para o passado e para o futuro." Paula Viana (CTM)

Asneira Livre

"Os humanos são muito bons a estereotipar, principalmente as profissões. Foi a visão do estereótipo da minha que decidi trazer-vos." José Ornelas (CSIG)

Galeria do Insólito

Recentemente, têm chegado à redação do BIP relatos que descrevem perigosos ataques de gaivotas no parque de estacionamento do INESC TEC...

Ecografia

BIP tira Raio X a colaboradores do INESC TEC...

Novos Doutorados

Venha conhecer os novos doutorados do INESC TEC.

Cadê Você?

O INESC TEC lança todos os meses no mercado pessoas altamente qualificadas...

Jobs 4 the Boys & Girls

Referência a anúncios publicados pelo INESC TEC, oferecendo bolsas, contratos de trabalho e outras oportunidades do mesmo género...

Biptoon

Mais cenas de como bamos indo porreiros...

Subscrever o BIP
 
 

Investigadora colaboradora INESC TEC recebe bolsa de €1,5M do European Research Council

Alexandra Silva, investigadora colaboradora 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 colaboradora 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, esta investigadora associada ao 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