PhD
I obtained my Phd degree in computer science at Loria in 2022.
My thesis: Expected size of the 3D-Delaunay triangulation of random points on surface, was supervised by Olivier Devillers.
Master
I obtained my Master’s degree in Mathematics (Ingénieurie mathématique et outil informatique) at Elie Cartan Institute at Nancy.
My master thesis, Additional equational theories in Tamarin, supervised by Jannik Dreier and Steve Kremer, dealt with automatic verification of security properties for cryptographic protocols.
