What is the project about?
Communication networks have become a critical infrastructure of our digital society. This introduces stringent requirements on dependability.
We envision more automated approaches to operate communication networks, overcoming today’s manual and error-prone approach.
We develop methods and software tools which perform what-if analysis of computer networks (especially MPLS and Segment Routing networks). That is, checking policy compliance etc. under network failures.
NetVerify.Fun
We contributed an invited blog article to the NetVerify.Fun platform: https://netverify.fun/aalwines/
ZeroOutage
Stefan Schmid gives an interview on dependable networks at ZeroOutage. more info
We are hiring!
Fully funded PhD position in formal methods and algorithms. . more info
