Tibor Schneider
I am a fourth-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.
Teaching
- Communication Networks: 2022–2023 (TA)
- Discrete Event Systems: 2022 (TA)
- Advanced Topics in Communication Networks: 2023 (TA)
Talks
Taming the transient while reconfiguring BGP
Snowcap: Synthesizing Network-Wide Configuration Updates
Publications
Tibor Schneider,
Stefano Vissicchio, and
Laurent Vanbever
NSDI '25
CoNEXT Student Workshop '23
CoNEXT Student Workshop '23
SIGCOMM '23
SIGCOMM '21
ABB Research Award 2021
Available Theses
Finding likely network congestion events.
(SA, MA)
Supervisors: Tibor Schneider, Jean Mégret, and Laurent Vanbever
Supervisors: Tibor Schneider, Jean Mégret, and Laurent Vanbever
Probabilistic modelling of internet routes
(SA, MA)
Supervisors: Jean Mégret, Tibor Schneider, and Laurent Vanbever
Supervisors: Jean Mégret, Tibor Schneider, and Laurent Vanbever
Supervised Theses
Probabilistic model for BGP messages
(MA)
Student: Jonathan Rappl
Supervisors: Tibor Schneider, Yu Chen, Alexander Dietmüller, and Laurent Vanbever
Student: Jonathan Rappl
Supervisors: Tibor Schneider, Yu Chen, Alexander Dietmüller, and Laurent Vanbever
Interactive OSPF Visualization
(BA)
Student: Valentin Jenny
Supervisors: Tibor Schneider and Laurent Vanbever
Student: Valentin Jenny
Supervisors: Tibor Schneider and Laurent Vanbever
Symbolic Data-Plane Simulation
(SA)
Student: Georg Schwan
Supervisors: Roland Schmid, Tibor Schneider, and Laurent Vanbever
Student: Georg Schwan
Supervisors: Roland Schmid, Tibor Schneider, and Laurent Vanbever
A Model for BGP Convergence
(SA)
Student: Maximilian Stabel
Supervisors: Roland Schmid, Tibor Schneider, and Laurent Vanbever
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
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
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
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
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
Student: David Carminati
Supervisors: Tibor Schneider and Laurent Vanbever