Formation 

1989 :

Ingénieur d'État en Informatique à l'Université de Constantine, Algérie.

Titre du mémoire:

Conception et réalisation d'une interface pour l'interrogation des bases de données en langage naturel.

Responsable:

Prof Nguyen Ba Hao.

1992 :

DEA Informatique à l'Université H.P. Nancy 1.

Titre du mémoire:

Utilisation des systèmes de maintien de vérité pour la simulation qualitative.

Responsables:

Prof Jean Paul Haton, Dr François Charpillet.

1996 :

Doctorat en Informatique de l'Université H.P. Nancy 1.

Titre du mémoire:

Contribution à l'étude des techniques de propagation de contraintes symboliques et numériques pour le raisonnement temporel.

Responsables:

Prof Jean Paul Haton, Dr François Charpillet.