CORDIS · 758815 · H2020
CORNET Provably Correct Networks
Coordinator: UNIVERSITATEA POLITEHNICA DIN BUCURESTI (RO)
Networks are the backbone of our society, but configuring them is error-prone and tedious: misconfigured networks result in headline grabbing network outages that affect many users and hurt company revenues while security breaches that endanger millions of customers. There are currently no guarantees that deployed networks correctly implement their operator’s policy.Existing research has focused on two directions: a) low level analysis and instrumentation of real networking code prevents memory bugs in individual network elements, but does not capture network-wide properties desired by operat…
About Horizon 2020 (2014–2020)
Horizon 2020 was the EU's flagship research and innovation programme for 2014–2020, with a budget of around €77 billion. It bundled FP7's strands with the EIT and the Competitiveness and Innovation Programme, introduced a stronger societal-challenge orientation, and pushed the funding logic toward closer-to-market innovation. New calls closed in 2020 but funded projects continued through 2024.
EU contribution: €1.3M awarded to the consortium. The project runs over approximately 5.5 years from 2018-01-01 to 2023-06-30.
Full record on CORDIS — partners, deliverables, publications, news.
Open on cordis.europa.eu → Grant DOI ↗More from RO
see all →- CARMINE — Climate-Resilient Development Pathways in Metropolitan Regions of Europe101137851 · HORIZON · €10.2M
- CVDLINK — A federated paradigm of real-world data sources utilization for the empowerment of diagnosis, prognosis and risk assessment of cardiovascular conditions101137278 · HORIZON · €9.7M
- DOORS — Developing Optimal and Open Research Support for the Black Sea (DOORS)101000518 · H2020 · €9.0M
- EUTOPIA_HEALTH — Empowering Widening universities in EUTOPIA_HEALTH consortium to foster academic excellence in Health101136914 · HORIZON · €5.0M
- UNICORE — A Common Code Base and Toolkit for Deployment of Applications to Secure and Reliable Virtual Execution Environments825377 · H2020 · €4.3M
- OptFor-EU — OPTimising FORest management decisions for a low-carbon, climate resilient future in EUrope101060554 · HORIZON · €4.3M
Other H2020 projects
see all →- EUROfusion — Implementation of activities described in the Roadmap to Fusion during Horizon 2020 through a Joint programme of the members of the EUROfusion consortium633053 · DE · €678.8M
- H2020 — COST at a turning point: A unique framework for pan-European ST cooperation as clear demonstration of European values681463 · BE · €178.2M
- HBP SGA3 — Human Brain Project Specific Grant Agreement 3945539 · BE · €150.0M
- COVID-19 VACCINES — PROPOSAL FOR FUNDING RESEARCH DEVELOPMENT AND MANUFACTURING OF VACCINE AGAINST COVID-19101018100 · NO · €100.0M
- UNITE4TB — ACADEMIA AND INDUSTRY UNITED INNOVATION AND TREATMENT FOR TUBERCULOSIS101007873 · NL · €92.5M
- ERA4TB — EUROPEAN REGIMEN ACCELERATOR FOR TUBERCULOSIS853989 · ES · €89.8M
Frequently asked questions
- Who funds this research project?
- This project is funded by the European Union through the Horizon 2020 (2014–2020) programme, under the ERC-STG funding scheme.
- What is the EU contribution?
- The European Commission contributes €1.3M toward a total project budget of €1.3M.
- Which EU programme funds it?
- The project is funded under Horizon 2020 (2014–2020), call ERC-2017-STG.
- Who coordinates the project?
- The project is coordinated by UNIVERSITATEA POLITEHNICA DIN BUCURESTI (RO).
- What is the project timeline?
- The project runs from 2018-01-01 to 2023-06-30 — approximately 5.5 years.
- Where can I find the full project record?
- The complete record — partners, deliverables, publications and news — is published on CORDIS under project ID 758815.