I am a PhD student working at INRIA Nancy Grand-EST in the project team GAMBLE.
I have started my PhD thesis in October 2016. It is supervised by Olivier Devillers and focuses on Delaunay triangulation of points uniformly distributed on a surface.
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.