Alexandra Silva, investigadora do HASLAb/ INESC TEC & UMinho e docente University College London, em Londres, foi um dos quatro investigadores escolhidos para receber uma bolsa de 1,5 milhões de euros do Conselho Europeu de Investigação (CEI).
Todos os anos o CEI financia projetos de investigação que considere de excelência em qualquer disciplina científica, que tenha como objetivo alargar os conhecimentos científicos e tecnológicos, desde que os projetos venham a ser desenvolvidos numa instituição sediada na Europa, sejam inovadores e de vanguarda nas áreas científica e tecnológica e que apresentem excelência científica.
Tendo em conta o mundo cada vez mais conectado e com redes cada vez mais complexas que, por sua vez, têm um maior impacto nas tarefas diárias das pessoas, Alexandra Silva vai usar a bolsa para projetar novas ideias para a programação das redes aplicados aos princípios de programação, lógica de grupo e verificação da University College London.Recorde-se que em 2013, a investigadora do INESC TEC tinha sido a primeira mulher a vencer o Prémio Científico IBM 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.
Todos os anos o CEI financia projetos de investigação que considere de excelência em qualquer disciplina científica, que tenha como objetivo alargar os conhecimentos científicos e tecnológicos, desde que os projetos venham a ser desenvolvidos numa instituição sediada na Europa, sejam inovadores e de vanguarda nas áreas científica e tecnológica e que apresentem excelência científica.
Tendo em conta o mundo cada vez mais conectado e com redes cada vez mais complexas que, por sua vez, têm um maior impacto nas tarefas diárias das pessoas, Alexandra Silva vai usar a bolsa para projetar novas ideias para a programação das redes aplicados aos princípios de programação, lógica de grupo e verificação da University College London.Recorde-se que em 2013, a investigadora do INESC TEC tinha sido a primeira mulher a vencer o Prémio Científico IBM 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.