Tibor Schneider

I am a third-year PhD student at ETH Zurich in the Networked Systems Group, advised by Prof. Dr. Laurent Vanbever. My current research aims to improve network operations using formal methods.

I have received my Master’s degree in Electrical Engineering and Information Technology from ETH Zurich. With my work during the Master’s thesis, I explored approaches for planning and performing configuration updates in large-scale internet networks.


Taming the transient while reconfiguring BGP

Snowcap: Synthesizing Network-Wide Configuration Updates


Running Theses

Supervised Theses

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