"Best Student Paper Award" at SIGCOMM 2020

A team around Prof. Laurent Vanbever, head of the Networked Systems Group (NSG), and Prof. Martin Vechev from the Department of Computer Science (D-INFK), has won one of the two "Best Student Paper Awards" at SIGCOMM 2020 for their paper on probabilistic network verification.