Innovating Works

INCLAM

Activa
SystGeneEdit: Dissecting quantitative traits and their underlying genetic interactions via systematic genome editi... EUROPEAN MOLECULAR BIOLOGY LABORATORY tramitó un H2020: ERC-2016-ADG Despite the ubiquity of genome sequence data, unravelling the contributions of genetic variation to phenotypic diversity remains one of the...
2017-05-16 - 2022-10-31 | Financiado
CoVeCe: Coinduction for Verification and Certification CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS tramitó un H2020: ERC-2015-STG Software and hardware bugs cost hundreds of millions of euros every year to companies and administrations. Formal methods like verification...
2015-12-21 - 2021-09-30 | Financiado
* Datos extraídos de la documentos o webs disponibles en diferentes organismos públicos.