Tibor Schneider
Post-doc

Tibor Schneider

I am a Postdoctoral Researcher at ETH Zurich in the Networked Systems Group, advised by Prof. Laurent Vanbever. In 2025, I completed my doctoral thesis in the same group, entitled “Extending the Limits of Formal Methods in Network Operations”. In it, I tackle challenges in network verification, configuration synthesis, and network reconfigurations.

Research Areas

Teaching

Talks

Verifying maximum link loads in a changing world

Slides Publication

Taming the transient while reconfiguring BGP

Slides Publication

Publications

Available Theses

Running Theses

Supervised Theses

Interactive OSPF Visualization (BA)
Student: Valentin Jenny
Supervisors: Tibor Schneider and Laurent Vanbever
A Model for BGP Convergence (SA)
Student: Maximilian Stabel
Supervisors: Roland Schmid, Tibor Schneider, and Laurent Vanbever
Advent of Network (SA)
Student: Alain Kohli
Supervisors: Tobias Bühler, Coralie Busse-Grawitz, Tibor Schneider, and Laurent Vanbever
BGP is Turing Complete! Let’s visualize it! (BA)
Student: Gregor Drelichowska
Supervisors: Laurent Vanbever and Tibor Schneider
Interactive Synthesis of Network Queries from Traffic Examples (MA)
Student: Félicité Lordon
Supervisors: Albert Gran Alcoz, Tibor Schneider, and Laurent Vanbever
Analysis of Convergence Processes in Internet Networks (MA)
Student: Yu Chen
Supervisors: Tibor Schneider, Roland Schmid, and Laurent Vanbever
Route Convergence Optimization in the SWITCH Network (MA)
Student: David Carminati
Supervisors: Tibor Schneider and Laurent Vanbever