Yu Chen

I was a researcher in the Networked Systems Group supervised by Prof. Dr. Laurent Vanbever. My research interests focused on formal verification of network-wide configurations.

Before that, 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