Rüdiger Birkner
PhD student
2016—2021

Rüdiger Birkner

I am a research scientist at DFINITY.

I completed my PhD under the guidance of Prof. Dr. Laurent Vanbever and Prof. Dr. Martin Vechev of the Secure, Reliable, and Intelligent Systems Lab. My dissertation was awarded the EuroSys Roger Needham PhD Award.

Before starting my PhD, I earned a master degree in electrical engineering from ETH Zürich in 2016. In the course of my studies at ETH, I spent six months as visiting research student at Princeton University working with Nick Feamster. In addition, I completed the UNITECH International programme.

Research Area

Publications

Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, and Martin Vechev
NSDI '21
Robert MacDavid, Rüdiger Birkner, Ori Rottenstreich, Arpit Gupta, Nick Feamster, and Jennifer Rexford
SOSR '17
Arpit Gupta, Rüdiger Birkner, Marco Canini, Nick Feamster, Chris Mac-Stoker, and Walter Willinger
HotNets '16

Supervised Theses

Mailing List Analysis (SA)
Student: Lina Gehri
Supervisors: Alexander Dietmüller, Rüdiger Birkner, and Laurent Vanbever
Automated BGP Policy Analysis (SA)
Student: Yu Chen
Supervisors: Rüdiger Birkner, Rui Yang, and Laurent Vanbever
Synthesizing Network-Wide Configuration Updates (MA)
Student: Tibor Schneider
Supervisors: Laurent Vanbever and Rüdiger Birkner
ABB Research Award 2021
Extending NetComplete (MA)
Student: Robin Berner
Supervisors: Rüdiger Birkner, Coralie Busse-Grawitz, and Laurent Vanbever
A Network-Wide Configuration Fuzzer (SA)
Student: Tim Bohren
Supervisors: Rüdiger Birkner, Coralie Busse-Grawitz, and Laurent Vanbever
BGP Verification without Specification (SA)
Student: Kirill Meisser
Supervisors: Rüdiger Birkner and Laurent Vanbever
Automatic BGP Configuration Analysis and Summarisation (SA)
Student: Hanjing Gao
Supervisors: Rüdiger Birkner and Laurent Vanbever
Net2Text: A Matter of Time (MA)
Student: Philipp Mao
Supervisors: Rüdiger Birkner and Laurent Vanbever
Boosting the convergence performance of SDX platforms (SA)
Student: Philipp Mao
Supervisors: Rüdiger Birkner, Thomas Holterbach, and Laurent Vanbever