Qualification académique

2003

Docteur de l'Université Pierre et Marie Curie Paris VI spécialité informatique.

Titre de la thèse "Réseaux de Petri : Vérification symbolique et modulaire'',

Soutenance : 1^er Décembre 2003.

Jury :

• Rapporteurs :

1. Laure Petrucci (Professeur à l'University Paris 13)

2. François Vernadat (HDR au LAAS)

• Examinateurs :

1. Kamel Barkaoui (Professeur au CNAM Paris)

2. Fabrice Kordon (président) (Professeur à l'University Paris 6)

• Encadrants :

1. Serge Haddad (Professeur à l'University Paris 9)

2. Jean-Michel Ilié (Maître de Conférences à l'University Paris 5)

1998

DEA : Systèmes informatiques à l'Université Pierre et Marie Curie, Paris 6.

1997

Diplôme d'ingénieur en informatique, Faculté des Sciences de Tunis.

1993

Diplôme universitaire d'études scientifiques (DEUG) en Math Physiques,

Faculté des Sciences de Tunis.