I am a PhD student at IRISA in Rennes, France, under the supervision of David Pichardie. I am working of static analyses for the security of programs, and more especially on the use of abstract interpretation to ensure safety against side-channel attacks.
I am a former student in the Computer Science and Telecommunication department of the École normale supérieure de Rennes (ENS).
You can look at my Training to see which subjects I have studied and the internships I have made. In Work, you will find my publications and teaching. You can download the pdf version of my resume in the Documents.Download Resume (2017)
Bureau F205, Irisa/Inria
Campus de Beaulieu
263, avenue du général Leclerc
35042 RENNES Cedex - France