About

I recently graduated in Nouveaux Systèmes Informatiques at Université Paris Sud. I am now a Phd student at Laboratoire de Recherche en Informatique and teacher assistant at IUT d'Orsay. My research is oriented towards verification of concurrent programs on weak memory models.

Research

Vérification de programmes assembleur concurrents sur modèle mémoire x86-TSO
Master's degree internship report, Université Paris-Sud, Orsay, September 2014

Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières
Sylvain Conchon, David Declerck, Luc Maranget and Alain Mebsout
In Vingt-Cinquièmes Journées Francophones des Langages Applicatifs, Fréjus, France, January 2014

Teachings

IUT Orsay - Principes des systèmes d'exploitation (S3)
Algorithmique Avancée (S3)
Conception et Programmation Orientée Objet (S3)

Responsibilities

EDIPS - Ph.D. students representative (2014-2015)
ED STIC - Ph.D. students representative (2014-2015)