2006 
march/august 
Palaiseau
( Coq ) Equality in
arithmetic deduction
modulo Team Logical

Department of computer science of the école
Polytechnique Under the direction of Gilles
Dowek
2005
 may  Paris
( Caml )
Implementation of accessibility algorithms
on processi
rewrite systems of treeautomata (with
the help of Timbuk ) Team Liafa
 Univertity of Paris 7
Jussieu Under the direction of Mihaela
Sighireanu and Tayssir
Touili