Jean Mégret

I am a first year doctoral student in the Networked Systems Group lead by Prof. Dr. Laurent Vanbever. My research intrest is primarily on formal methods for network verification.

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.