CORRECT NETWORKS SRL

Their core work

Correct Networks is a Romanian technology SME focused on making computer networks provably safe through formal verification methods. Their core expertise is in P4-programmable networks — using the P4 domain-specific language to write network programs whose correctness can be mathematically verified and automatically repaired before or during deployment. They also work on secure virtualized execution environments, contributing to toolkits for deploying applications reliably across virtual infrastructure. The company appears to have been formed to commercialize ERC-funded research on network verification, acting as a commercial vehicle bridging academic formal methods with practical network engineering.

What they specialise in

How they've shifted over time

Both H2020 projects began in 2019, making genuine timeline evolution difficult to assess from this dataset alone. The project pair suggests a dual focus from the outset: deploying applications securely in virtual environments (UNICORE) alongside formal verification of programmable network behavior (SafeNet). If there is a directional signal, it is that SafeNet — where Correct Networks served as coordinator under an ERC Proof of Concept grant — represents their core proprietary technology, while UNICORE was a broader industry consortium participation rather than a strategic anchor.

The ERC-POC coordinator role on SafeNet signals a clear commercialization trajectory — moving formal network verification methods out of academic research and toward deployable products or licensable IP.

How they like to work

Correct Networks has taken on both leader and partner roles across their two projects, coordinating SafeNet while participating in UNICORE. With 11 unique partners across 9 countries in just two projects, they engage in moderately-sized, internationally diverse consortia rather than small bilateral arrangements. Their ERC-POC coordinator role suggests they can anchor small, technically focused teams around their own intellectual property.

Correct Networks has engaged 11 unique partners across 9 countries — a broad geographic spread for a two-project portfolio. This suggests deliberate consortium building across European partners rather than a local or bilateral focus.

What sets them apart

Correct Networks occupies a narrow but high-value niche at the intersection of formal verification and programmable networking — a combination that few European SMEs can claim. Their ERC Proof of Concept coordinator role signals that their technology has passed rigorous academic peer review and is being actively prepared for market. For consortium builders in network security, telecom infrastructure, or cloud reliability, they bring research-grade verification capability with a commercial vehicle ready to absorb IP licensing or joint development agreements.

Highlights from their portfolio

• SafeNet
  Coordinator role on an ERC Proof of Concept grant — the most competitive EU instrument for commercializing academic breakthroughs — targeting mathematically verified P4-based network programs, with a EUR 150,000 award.
• UNICORE
  Participation in a Digital pillar Innovation Action targeting a common deployment toolkit for secure virtual execution, extending their footprint beyond pure network verification into broader cloud infrastructure reliability.