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

Supervised Theses