Jean Mégret

I am a second year doctoral student in the Networked Systems Group led by Prof. Dr. Laurent Vanbever. My research interest lies primarily in formal methods for network verification and routing protocol modelisation.

I received my Master’s degree in Mathematics and Foundations of Computer Science from the University of Oxford. In my Master’s Thesis, I investigated analytical models for congestion control in satellite networks. Before that, I studied Electrical Engineering and Information Technology at ETHZ. During this time, I spent a semester at l’École Polytechnique in Paris.

Talks

Guided Exploration of Control Plane Routing States

Slides Publication

Publications

Running Theses

Supervised Theses