Biography
I am a second-year PhD Student at ETH Zurich in the Networked Systems Group, advertised by Prof. Dr. Laurent Vanbever. My current research focuses on the verification and synthesis of network configurations.
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.
Interests
- Computer Networks
- Distributed Computing
- Formal Methods
Education
MSc in Electrical Engineering, 2021
ETH Zurich
BSc in Electrical Engineering, 2017
Hochschule für Technik Rapperswil
Publications
(2022).
On the Complexity of Network-Wide Configuration Synthesis.
In ICNP'22.
(2021).
Snowcap: Synthesizing Network-Wide Configuration Updates.
In SIGCOMM'21.
Awards
ABB Research Award 2021
In appreciation of his excellent master thesis “Snowcap: Synthesizing Network-Wide Configuration Updates”
Skills
Python
100%
Rust
80%
C/C++
70%
Experience
PhD in Electrical Engineering
MSc in Electrical Engineering
BSc in Electrical Engineering
Apprenticeship IT Systems Administrator
Contact
- sctibor@ethz.ch
- Gloriastrasse 53, Zurich, ZH 8092
- ETZ G78