Das 712 propostas submetidas este ano, cerca de 10% foram aprovadas. As bolsas, no valor aproximado de 10,3 milhões de euros cada, apoiarão grupos de pesquisadores para abordar algumas das questões científicas mais desafiadoras. 

A professora Ellie Tzima (Departamento de Medicina de Radcliffe) será uma das coordenadoras do projeto MINerVA (Mecanobiologia da Vasculatura Intranervosa ) .   

Problemas no sistema nervoso periférico — a rede de nervos fora do cérebro e da medula espinhal — podem causar dor, dormência e incapacidade em pessoas , afetando milhões de pessoas em todo o mundo.  Entender como os nervos e os vasos sanguíneos se comunicam pode nos ajudar a reparar danos nos nervos mais rapidamente e a tratar melhor doenças relacionadas ao diabetes, tratamentos contra o câncer ou lesões .  

O projeto MINeRVA abordará essa lacuna mapeando as células e moléculas que compõem os nervos periféricos.  

A equipe, composta por especialistas em neurociência , biologia vascular , mecanobiologia e nanotecnologia , tem como objetivo :  

Desvendar os mecanismos pelos quais os nervos e os vasos sanguíneos se comunicam entre si .  

Mostre como os nervos periféricos percebem os movimentos e o fluxo sanguíneo do dia a dia . 

Desenvolver novas maneiras de enviar medicamentos diretamente às células nervosas .   

O Professor Tzima afirmou: “Um dos maiores mistérios da biologia humana é como os nervos e os vasos sanguíneos trabalham em conjunto. Estamos apenas começando a entender o quão intimamente eles se comunicam para manter os tecidos do nosso corpo saudáveis. Queremos desvendar o código da comunicação entre nervos e vasos sanguíneos , e esta Bolsa de Sinergia do ERC oferece uma oportunidade excepcional para isso . Nosso projeto reunirá diversos conhecimentos e recursos de toda a Europa para entender como esses dois sistemas interagem e o que acontece quando essa conexão falha . ”

O projeto MINerVA é uma colaboração entre quatro Investigadores Principais: Ellie Tzima ( Universidade de Oxford ), Dario Bonanomi ( Hospital San Raffaele , Itália ) , Isabelle Brunet (INSERM; Instituto Nacional de Saúde e Pesquisa Médica, França ) e Tambet Teesalu ( Universidade de Tartu , Estônia ) .   

Sistemas digitais como internet banking , votação eletrônica , mensagens instantâneas e armazenamento em nuvem tornaram-se infraestrutura crítica. Mas esses sistemas estão cada vez mais sob ataque , com ransomware, fraudes em pagamentos e violações de dados representando riscos para toda a sociedade.  Esses sistemas são mantidos em segurança por meio de protocolos de segurança – regras que os computadores seguem nos bastidores para permanecerem seguros .   

Para garantir sua robustez, essas medidas de segurança são rigorosamente testadas  e  submetidas à verificação formal e matemática dentro de modelos de segurança estabelecidos.  No entanto, atualmente, a verificação de sistemas de segurança exige a simplificação de seus comportamentos probabilísticos (como eles usam a aleatoriedade para permanecerem imprevisíveis para os atacantes). 

Estamos utilizando ideias de segurança, teoria dos jogos e computação simbólica para verificar se os sistemas de segurança do mundo real – como os usados na indústria –  são de fato seguros .

Essa simplificação pode deixar lacunas potenciais e fragilidades desconhecidas em sistemas que protegem aplicações críticas, como bancos online e comunicações digitais. Ao mesmo tempo , nas últimas duas décadas, a verificação probabilística e a teoria dos jogos têm sido amplamente aplicadas a outros domínios, como redes, sistemas ciberfísicos e economia, para análises mais refinadas e precisas .  

O projeto VePaSS reúne ciência da computação e matemática para solucionar esse problema. Seu objetivo é criar novas maneiras de verificar sistemas de segurança que utilizam aleatoriedade . Combinando avanços recentes em jogos probabilísticos e modelagem computacional, o projeto espera tornar os sistemas digitais mais seguros para todos , aumentando a confiança, protegendo a economia e garantindo a integridade das eleições. O professor  associado  Cheval afirmou: “ É realmente empolgante trabalhar com especialistas em diferentes áreas da ciência da computação e da matemática. Estamos usando ideias de segurança, teoria dos jogos e computação simbólica para verificar se os sistemas de segurança do mundo real – como os usados na indústria – são de fato seguros . Ao mesmo tempo, isso exige que resolvamos algumas questões fundamentais e antigas da ciência da computação teórica .”   

O projeto VeP a SS é uma colaboração entre quatro Investigadores Principais ( IPs) : Vincent Cheval ( Universidade de Oxford ) e Mahsa Shirmohammadi, do Centro Nacional de Pesquisa Científica (CNRS) , França , que é pesquisadora visitante no Departamento de Ciência da Computação de Oxford e professora remunerada no University College . Eles trabalharão em estreita colaboração com os outros IPs do CNRS, Sébastien Tavenas e Véroni que Cortier .