Vanbever Lab

Research focus

ERC Starting Grant · 2019

From Network Verification to Synthesis: Breaking New Ground in Network Automation

Nearly half of Japan without Internet for hours; thousands of airline passengers grounded; 600+ emergency calls not received. These are just three recent illustrations of the consequences of human-induced network misconfigurations. Such errors are caused by a fundamental gap: distilling the high-level requirements network operators have in mind into complex, low-level device configurations. In 2018, network operators are still trying to bridge this gap manually. The goal of this proposal is to address this gap by automatically synthesizing low-level configurations out of high-level requirements. This is a hard, inter-disciplinary challenge requiring development of new fundamental methods…

From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.