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.
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
CoNEXT Student Workshop '23
CoNEXT Student Workshop '23
SIGCOMM '23
SIGCOMM '21
ABB Research Award 2021
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