Yu Chen
PhD student

Yu Chen

I am a first-year PhD student at ETH Zurich in the Networked Systems Group supervised by Prof. Dr. Laurent Vanbever. My research interest focuses on formal verification on network configuration.

I have received my Master’s degree in Electrical Engineering and Information Technology from ETH Zurich in May 2022. During my Master’s thesis, I analyzed network convergence behavior in large-scale networks.

Publications

CoNEXT-SW '23: Proceedings of the on CoNEXT Student Workshop 2023

Running Theses

Supervised Theses