About me
I am a fifth year PhD student co-advised by Prof. Dr. Martin Vechev and Prof. Dr. Laurent Vanbever of the Networked Systems Group. Before starting my PhD, I earned a master degree in electrical engineering from ETH Zurich 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.Publications
2021
Metha: Network Verifiers Need To Be Correct Too!
Rüdiger Birkner*, Tobias Brodmann*, Petar Tsankov, Laurent Vanbever, Martin Vechev
USENIX NSDI
2021
* Equal contribution
2020
Config2Spec: Mining Network Specifications from Network Configurations
Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev
NSDI
2020
2021 IETF/IRTF Applied Networking Research Prize
2021 IETF/IRTF Applied Networking Research Prize
2018
Net2Text: Query-Guided Summarization of Network Forwarding Behaviors
Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev
NSDI
2018