Licence de Maths 1996/1997 ENS Cachan Mention A.B.
Maitrise de Maths 1997/1998 ENS Cachan Mention B
Maitrise d'Informatique 1997/1998 ENS Cachan Mention B
DEA Algo 1997/1998 ENS Cachan Mention B
Agregation de Maths 1998/1999 ENS Cachan
Thèse d'Informatique 1999/2003 "Vers une résolution stable et rapide des équations algébriques", Université Paris 6, sous la direction de Daniel Lazard et Bernard Mourrain.
Postdoc équipe Calfor Janvier-Septembre 2003, "Une implémentation d'une arithmétique des infinitésimaux et étude des variétés de dimension positive"
ATER a l'université PARIS 6
Septembre 2003-Juin 2004