Curriculum Vitae

Ghada Gasmi Épouse Mathlouthi

Docteur en Informatique et assistante à l’INSAT

1
Table des matières

Informations personnelles 1

Cursus universitaire 1

Activités de recherche 3
Axes de recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Liste des publications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Séjours de recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Animation de séminaires de recherche . . . . . . . . . . . . . . . . . . . . . 7
Participation à la relecture d’articles scientifiques . . . . . . . . . . . . . . 7
Participation à l’organisation de manifestations scientifiques . . . . . . . . 8

Activités pédagogiques 8
Expériences pédagogiques . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Enseignement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Encadrement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Participation aux jurys de soutenance de projets de fin d’études . . . . . . 13

Stages Professionnels 13

Connaissances pratiques 14

Langues 14

2
3
 Informations personnelles

Prénom et Nom : Ghada Gasmi Épouse Mathlouthi

Date et lieu de naissance : 12/05/1980 à Tunis
État civil : Mariée et mère d’une fille
Adresse : Résidence El Omrane 6, Bloc D App 12, Ariana
Téléphone : 97 348 323
Courriel : ghada.gasmi@gmail.com

Cursus universitaire

Janvier 2013
Obtention du diplôme de thèse de doctorat en Informatique à la
Faculté des Sciences de Tunis (Mention très honorable avec félici-
tations du jury).

¦ Intitulé de la thèse : Inférence des dépendances fonctionnelles

en utilisant les techniques de la fouille de données

¦ Objectifs de la thèse :
1. Étude détaillée des approches existantes de l’inférence des
dépendances fonctionnelles.
2. Inférence incrémentale des dépendances fonctionnelles suite
à l’ajout d’un ensemble de tuples.
3. Inférence incrémentale des dépendances fonctionnelles suite
à la suppression d’un ensemble de tuples.
4. Exploitation des systèmes multi-coeurs pour l’amélioration
du processus d’inférence des dépendances fonctionnelles.
5. Exploitation des systèmes multi-coeurs pour l’inférence in-
crémentale des dépendances fonctionnelles.

1
 ¦ Directeurs de thèse :
- Monsieur Yahya Slimani, Professeur à la Faculté des Sciences
de Tunis et Monsieur Lotfi Lakhal, Professeur Première Classe
à l’Université d’Aix-Marseille II.

¦ Laboratoire de recherche : Laboratoire d’Informatique et des

Systèmes Industriels (LISI), Institut National des Sciences Ap-
pliquées et des Technologies (INSAT), Tunis.

¦ Jury du mémoire :
? Sadok Ben Yahia, M.C. FST, Tunis (Président)

? Habib Ounelli, Pr. FST, Tunis (Rapporteur )

? Jean-Marc Petit, Pr. INSA, Lyon (Rapporteur )

? Rafik Bouaziz, M. C. FSEG, Sfax (Examinateur )

? Yahya Slimani, Pr. ISAMM, Manouba (Co-directeur de thèse)

? Lotfi Lakhal, Pr. IUT, Aix-Provence (Co-directeur de thèse)

Juillet 2005
Obtention du diplôme de mastère en Informatique à la Faculté des
Sciences de Tunis (Mention très bien).

¦ Intitulé du mémoire : Proposition d’une nouvelle base géné-

rique de règles associatives

¦ Objectifs du mémoire :
1. État de l’art sur les bases génériques de règles d’association.
2. Proposition d’une nouvelle base générique ainsi que d’un sys-
tème axiomatique permettant de dériver toutes les règles
d’association.
¦ Jury du mémoire :
? Monsieur Khaled Bsaïes, Professeur à la Faculté des Sciences
de Tunis (Président)

2
 ? Monsieur Riadh Robbana, Professeur à l’INSAT (Rapporteur )
? Monsieur Yahya Slimani, Professeur à la Faculté des Sciences
de Tunis (Encadrant)
? Monsieur Sadok Ben Yahia, Maître de conférences à la Fa-
culté des Sciences de Tunis (Co-encadrant)
Avril 2004
Validation du premier semestre de mastère en Informatique à la
Faculté des Sciences de Tunis (Mention assez bien, Première de la
promotion).
Juin 2003
Obtention du diplôme de Maîtrise en Informatique de Gestion à
l’Institut Supérieur de Gestion de Tunis (Mention assez bien)

¦ Intitulé du projet de fin d’études : Mise en place d’un sys-

tème de Workflow à la STAFIM Peugeot (Mention Très bien).

¦ Sous la direction de :
- Madame Chefia Mankai, Maître de conférences à l’Institut
Supérieur de Gestion.
- Monsieur Naoufel Barkit, Directeur du service Informatique à
la STAFIM Peugeot.
Juin 1999
Obtention du diplôme de baccalauréat, section Mathématiques au
Lycée El Omrane (Mention Assez Bien).

Activités de recherche

Axes de recherche
Fouille de données (règles d’association, dépendances fonctionnelles).
Développement d’applications de fouille de données pour des ma-
chines séquentielles et des architectures multi-coeurs.
Utilisation des résultats de la théorie des hypergraphes pour l’amé-
lioration des algorithmes de la fouille de données.

3
 Recherche d’information agrégative dans des bases de graphes dis-
tribuées.
Liste des publications
Revues internationales avec comité de lecture

¦ En cours d’évaluation

? Ghada Gasmi, Lotfi Lakhal et Yahya Slimani, "A general

incremental algorithm for mining functional dependencies in
evolving databases", Soumis, le 23 Octobre 2013, à Informa-
tion Systems, Elsevier.

? Ghada Gasmi, Lotfi Lakhal et Yahya Slimani, "Exploita-

tion des l’architecture multi-coeurs pour l’extraction des dé-
pendances fonctionnelles", Soumis, le 15 Décembre 2013, à In-
génierie des Systèmes d’Information.

¦ Acceptés

? Ghada Gasmi, Lotfi Lakhal et Yahya Slimani, "An incre-

mental approach for maintaining functional dependencies", In-
telligent Data Analysis, Juillet 2012, 16(3).

? Sadok Ben Yahia, Ghada Gasmi, Engelbert Mephu Nguifo,

"A new generic basis of "factual" and "implicative" association
rules", Intelligent Data Analysis, Juillet 2009, 13(4) : 633-656.

? Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo,

Yahya Slimani, "Igb : une nouvelle base générique informative
des règles d’association", Information Interaction Intelligence,
Octobre 2006, 6(1) : 31-67.

Conférences internationales avec comité de lecture

¦ Ghada Gasmi, Yahya Slimani et Lotfi Lakhal, "Towards a pa-

rallel approach for mining of functional dependencies on multi-

4
 core systems", In : Proceedings of the 15th International Confe-
rence on Knowledge-Based and Intelligent Information and Engi-
neering Systems ( Kes 2011), Kaiserslautern, Germany, Septem-
ber 2011. LNCS/LNAI Springer-Verlag, pages 590-598.

¦ Ghada Gasmi, Amira Beji, Yahya Slimani et Lotfi Lakhal,

"Functional dependency mining : harnessing multi-core systems",
In : Proceedings of the 10th IEEE/ACIS International Confe-
rence on Computer and Information Science ( Icis 2011), Sanya,
China, May 2011. IEEE Computer Society Press, pages 135-140.

¦ Ghada Gasmi, "IncFDs : un nouvel algorithme d’inférence in-

crémentale des dépendances fonctionnelles", Dans les actes de
la dixième Conférence Internationale Francophone sur l’Extrac-
tion et la Gestion des Connaissances (EGC 2010), Hammamet,
Tunisie, Janvier 2010. Revue des Nouvelles Technologies de l’In-
formation (RNTI-E-19), pages 303-314.

¦ Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo,

Slim Bouker, "Extraction of association rules based on literal-
sets", In : Proceedings of the 9th International Conference on Data
Warehousing and Knowledge Discovery ( Dawak 2007), Regens-
burg, Germany, September 2007, LNCS/LNAI 4654 Springer-
Verlag, pages 293-302.

¦ Mohamed Amir Esseghir, Ghada Gasmi, Sadok Ben Yahia,

Yahya Slimani, "Egea : A New Hybrid Approach Towards Ex-
tracting Reduced Generic Association Rule Set (Application to
AML Blood Cancer Therapy)", In : Proceedings of the 8th Inter-
national Conference on Data Warehousing and Knowledge Disco-
very ( Dawak 2006), Krakow, Poland, September 2006, LNCS/LNAI
4081, Springer-Verlag, pages 491-502.

¦ Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo,

Yahya Slimani, "Discovering "Factual" and "Implicative" ge-
neric association rules", Dans les actes de la 7ime Conférence

5
 Francophone sur l’Apprentissage Automatique (CAp 2005), Nice,
France, Juin 2005, pages 329-344.

¦ Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo,

Yahya Slimani, "Igb : A New Informative Generic Base of Asso-
ciation Rules", In : Proceedings of the 9th Pacific-Asia Conference
of Advances in Knowledge Discovery and Data Mining (PAKDD
2005), Hanoi, Vietnam, May 2005. LNCS/LNAI 3518, Springer-
Verlag, pages 81-90.

¦ Chiraz Latiri, Wissem Bellegha, Sadok Ben Yahia, Ghada

Gasmi, "Vie_Mgb : A visual interactive exploration of a new
minimal generic base of association rules", In : Proceedings of the
3rd International conference of Concept Lattices and Their Appli-
cations (CLA 2005), Olomouc, Czech Republic, September 2005,
pages 179-196.

¦ Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo,

Yahya Slimani, "A new Informative Generic Base of Associa-
tion Rules", In : Proceedings of the 2nd conference of Concept
Lattices and their Applications (CLA 2004), Ostrava, Czech Re-
public, September 2004, pages 67-79.

Ateliers internationaux

¦ Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo,

"Extraction de règles d’association à partir de données décentra-
lisées : Problèmes et perspectives", In : Actes de l’atelier Fouille
de Données Complexes (FDC’07) de la conférence EGC’07, Na-
mur, Bélgique, Janvier 2007, pages 75-80.

¦ Ghada Gasmi, Tarek Hamrouni, Sonia Abdelhak, Sadok Ben

Yahia, Engelbert Mephu Nguifo , "Extracting generic ba-
sis of association rules from SAGE data". In Proceedings of the
ECML/PKDD Discovery Challenge Workshop, Porto, Portugal,
September 2005, pages 84-89.

6
Séjours de recherche
Séjour de recherche à l’unité de recherche Advanced Database Re-
search and Modelling, Mathematics and Computer Science Depart-
ment, University of Antwerp, Antwerp, Belgium, du 19/03/2007 au
07/03/2007, pour une collaboration avec le Professeur Bart Goe-
thals.

Séjour de recherche au Centre de Recherche en Informatique de

Lens, France, du 01/10/2005 au 21/12/2005, pour une collabora-
tion avec le Professeur Engelbert Mephu Nguifo.

Séjour de recherche au Centre de Recherche en Informatique de

Lens, France, du 04/09/2005 au 22/12/2005, pour une collabora-
tion avec le Professeur Engelbert Mephu Nguifo.

Animation de séminaires de recherche

Ghada Gasmi, Extraction of generic basis of generalized associa-
tion rules. Séminaire animé au sein de l’unité de recherche Advan-
ced Database Research and Modelling, Mathematics and Compu-
ter Science Department, University of Antwerp, Antwerp, Belgium,
March 28, 2007.

Ghada Gasmi, Extraction des bases génériques de règles d’associa-

tion. Séminaire animé au sein du Centre de Recherche en Informa-
tique de Lens, France, 8 Décembre 2005.

Participation à la relecture d’articles scientifiques

Relecture de papiers soumis à 10th International Conference of En-
treprise information systems (ICEIS 2008) (relecteur externe).

Relecture de papiers soumis à 4th International Conference on Concept

Lattices and their Applications (CLA 2006) (relecteur externe).

7
 Relecture de papiers soumis au journal South African ARIMA/SACJ
(joint issue on advances in end-user data mining techniques), 2005
(relecteur externe).

Participation à l’organisation de manifestations scientifiques

Participation à l’organisation de la quatrième conférence interna-
tionale Concept Lattices and their Applications (CLA 2006), 30
Octobre-1 Novembre, Hammamet, Tunisie ;

Participation à l’organisation du septième Colloque Africain sur la

Recherche en Informatique (CARI), 22-25 Novembre 2004, Ham-
mamet, Tunisie.

Activités pédagogiques

Expériences pédagogiques
Depuis Septembre 2011 : Assistante en Informatique au départe-
ment de génie mathématique et de génie informatique de l’INSAT.

De Septembre 2005 à Juin 2010 : Assistante contractuelle en in-

formatique au Département des Sciences de l’informatique de la
Faculté des Sciences de Tunis.

De Février à Juin 2004 : Vacataire en informatique au Département

des Sciences de l’Informatique de la la Faculté des Sciences de Tunis.

Enseignement
2013-2014 :

¦ Systèmes d’exploitation II : Travaux dirigés assurés aux étudiants

de la deuxième année du cycle préparatoire des ingénieurs en ré-
seaux et télécommunications et en génie logiciel à l’INSAT (Pre-

8
 mier Semestre).

¦ Programmation orientée objet : Travaux dirigés assurés aux étu-

diants de la deuxième année du cycle préparatoire des ingénieurs
en génie logiciel à l’INSAT (Premier Semestre).

¦ Algorithmique avancée : Travaux dirigés assurés aux étudiants de

la troisième année du cycle ingénieur, spécialité génie logiciel à
l’INSAT (Deuxième Semestre).

¦ Atelier de programmation C : Cours assuré aux étudiants de la

première année du cycle préparatoire des ingénieurs à l’INSAT
(Deuxième Semestre).

¦ Logique formelle : Cours et travaux dirigés assurés aux étudiants

de la troisième année du cycle ingénieur, spécialité réseaux et té-
lécommunications à l’INSAT (Deuxième Semestre).

2012-2013 :

¦ Systèmes d’exploitation II : Travaux dirigés assurés aux étudiants

de la deuxième année du cycle préparatoire des ingénieurs en ré-
seaux et télécommunications et en génie logiciel à l’INSAT (Pre-
mier Semestre).

¦ Algorithmique avancée : Travaux dirigés assurés aux étudiants de

la troisième année du cycle ingénieur, spécialité génie logiciel à
l’INSAT (Deuxième Semestre).

¦ Atelier de programmation C : Cours assuré aux étudiants de la

première année du cycle préparatoire des ingénieurs à l’INSAT
(Deuxième Semestre).

¦ Logique formelle : Cours et travaux dirigés assurés aux étudiants

de la troisième année du cycle ingénieur, spécialité réseaux et té-
lécommunications à l’INSAT (Deuxième Semestre).

9
2011-2012 :

¦ Systèmes d’exploitation II : Travaux dirigés assurés aux étudiants

de la deuxième année du cycle préparatoire des ingénieurs en ré-
seaux et télécommunications à l’INSAT (Premier Semestre).

¦ Algorithmique avancée : Cours assuré aux étudiants de la troi-

sième année du cycle ingénieur, spécialité génie logiciel à l’INSAT
(Deuxième Semestre).

¦ Atelier de programmation C : Cours assuré aux étudiants de la

première année du cycle préparatoire des ingénieurs à l’INSAT
(Deuxième Semestre).

2009-2010 :

¦ Systèmes d’exploitation II : Travaux dirigés assurés aux étudiants

de la deuxième année de Licence Fondamentale en Informatique
à la Faculté des Sciences de Tunis (Premier Semestre).

¦ Systèmes d’exploitation I : Travaux dirigés assurés aux étudiants

de la première année de Licence Fondamentale en Informatique à
la Faculté des Sciences de Tunis (Deuxième Semestre).

¦ Certification Informatique et Internet : assurée aux étudiants de

la première année de la Licence Fondamentale en Informatique,
Licence Fondamentale en Mathématiques, Licence Fondamentale
en Environnement à la Faculté des Sciences de Tunis (Premier et
Deuxième Semestre).

2008-2009 :

¦ Systèmes d’exploitation II : Travaux dirigés assurés aux étudiants

de la deuxième année de Licence Fondamentale en Informatique
à la Faculté des Sciences de Tunis (Premier Semestre).

10
¦ Systèmes d’exploitation I : Travaux dirigés assurés aux étudiants
de la première année de Licence Fondamentale en Informatique à
la Faculté des Sciences de Tunis (Deuxième Semestre).

¦ Intelligence artificielle : Travaux dirigés assurés aux étudiants de

la quatrième année de la Maîtrise en Informatique à la Faculté
des Sciences de Tunis (Premier Semestre).

¦ Algorithmique et programmation Maple : Cours assuré aux étu-

diants de la première année du cycle préparatoire des ingénieurs
à la Faculté des Sciences de Tunis (Deuxième Semestre).

2007-2008 :

¦ Structures de données et programmation C : Travaux dirigés as-

surés aux étudiants de la première année de Licence Fondamen-
tale en Informatique (Deuxième Semestre) et aux étudiants de la
deuxième année de la Maîtrise en Mathématiques-Informatique
(Premier Semestre).

¦ Systèmes d’exploitation I : Travaux dirigés assurés aux étudiants

de la première année de Licence Fondamentale en Informatique
(Deuxième Semestre).

¦ Algorithmique et programmation C : Travaux dirigés assurés aux

étudiants de la première année de Licence Fondamentale en In-
formatique (Premier Semestre).

2006-2007 :

¦ Logique formelle : Cours assuré aux étudiants de la première an-

née de la Maîtrise en Mathématiques-Informatique, en Électronique-
Informatique à la Faculté des Sciences de Tunis (Deuxième Se-
mestre).

11
 ¦ Algorithmique et programmation C : Cours et Travaux dirigés
assurés aux étudiants de la deuxième année de la Maîtrise en
Mathématiques-Physique à la Faculté des Sciences de Tunis (Deuxième
Semestre).

2005-2006 :

¦ Logique formelle : Cours assuré aux étudiants de la première an-

née de la Maîtrise en Mathématiques-Informatique, en Électronique-
Informatique à la Faculté des Sciences de Tunis (Deuxième Se-
mestre).

¦ Algorithmique et programmation C : Cours et Travaux dirigés

assurés aux étudiants de la deuxième année de la Maîtrise en
Mathématiques-Physique à la Faculté des Sciences de Tunis (Deuxième
Semestre).

2004-2005 :

¦ Algorithmique et programmation Maple : Travaux dirigés assu-

rés aux étudiants de la première année du cycle préparatoire des
ingénieurs, section biologie à la Faculté des Sciences de Tunis
(Deuxième Semestre).

Encadrement
¦ Co-encadrement avec Professeur Yahya Slimani et Professeur Lotfi
Lakhal d’une thèse portant sur le calcul des hypergraphes et leurs
applications et ce à partir de Février 2014.
¦ Co-encadrement avec Monsieur Abd Errazek Ejmai et Professeur
Said Hacid d’une thèse portant sur la recherche d’information
agrégative à partir de bases de graphes et ce à partir de Janvier
2014.
¦ Encadrement des projets de fin d’étude du cycle ingénieur en
génie logiciel et en réseaux et télécommunications à l’INSAT pour
les années 2012-2013 et 2013-2014.

12
 ¦ Encadrement de quatre projets de fin d’études du cycle de Techni-
cien Supérieur en Productique à la Faculté des Sciences de Tunis
pour les années universitaires 2007-2008 et 2008-2009.

Participation aux jurys de soutenance de projets de fin d’études

Èvaluation de projets de fin d’études :
¦ du cycle ingénieur en génie logiciel et en réseaux et télécommu-
nications, INSAT.

¦ du cycle ingénieur en informatique, Faculté des Sciences de Tunis.

¦ de Maîtrise en informatique, Faculté des Sciences de Tunis.

¦ de Licence Fondamentale en Informatique, Faculté des Sciences

de Tunis.

¦ du cycle de Technicien Supérieur en Productique, Faculté des

Sciences de Tunis.

Stages Professionnels

Février - Juin 2003 :

Stage de fin d’études de maîtrise en informatique de gestion réalisé
au sein du Service d’exploitation et de Développement Informatique
de la STAFIM Peugeot.
Mise en place d’un système de Workflow.

26-28 Mars 2003 :

Formation sur le développement Lotus Notes (Sharing technologies
IBS).

Juillet - Août 2001 :

Stage de huit semaines au sein d’une entreprise privée "Automatic
Control System"

13
 Participation au développement d’un tableau de bord d’une usine

Connaissances pratiques

Systèmes d’exploitation : Windows, Linux.

Méthodologies de conception : Processus unifié, Merise 2, OSSAD.

Systèmes de gestion de bases de données : Access, Oracle, MySQL.

Langage de modélisation : UML.

Langages de programmation : C, C++, JAVA, Python, Prolog, ADA, Lotus

Notes, Pascal, Maple, PL/SQL.

Langues

Arabe : Langue maternelle.

Français : Lu, Parlé, Écrit.
Anglais : Lu, Parlé, Écrit.

14