Curriculum Vitae. Ghada Gasmi Épouse Mathlouthi. Docteur en Informatique et assistante à l INSAT

Transcription

1 Curriculum Vitae Ghada Gasmi Épouse Mathlouthi Docteur en Informatique et assistante à l INSAT 1

2 Table des matières Informations personnelles 1 Cursus universitaire 1 Activités de recherche 3 Axes de recherche Liste des publications Séjours de recherche Animation de séminaires de recherche Participation à la relecture d articles scientifiques Participation à l organisation de manifestations scientifiques Activités pédagogiques 8 Expériences pédagogiques Enseignement Encadrement Participation aux jurys de soutenance de projets de fin d études Stages Professionnels 13 Connaissances pratiques 14 Langues 14 2

3 3

4 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 : 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élicitations 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 incrémentale des dépendances fonctionnelles. 1

5 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 Appliqué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) Juillet 2005 Lotfi Lakhal, Pr. IUT, Aix-Provence (Co-directeur de thèse) 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 systè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

6 Avril 2004 Juin 2003 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 Faculté des Sciences de Tunis (Co-encadrant) Validation du premier semestre de mastère en Informatique à la Faculté des Sciences de Tunis (Mention assez bien, Première de la promotion). 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 système de Workflow à la STAFIM Peugeot (Mention Très bien). Juin 1999 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. Obtention du diplôme de baccalauréat, section Mathématiques au Lycée El Omrane (Mention Assez Bien). Axes de recherche Activités de recherche Fouille de données (règles d association, dépendances fonctionnelles). Développement d applications de fouille de données pour des machines 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

7 Liste des publications Recherche d information agrégative dans des bases de graphes distribuées. 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, à Information Systems, Elsevier. Ghada Gasmi, Lotfi Lakhal et Yahya Slimani, "Exploitation des l architecture multi-coeurs pour l extraction des dépendances fonctionnelles", Soumis, le 15 Décembre 2013, à Ingénierie des Systèmes d Information. Acceptés Ghada Gasmi, Lotfi Lakhal et Yahya Slimani, "An incremental approach for maintaining functional dependencies", Intelligent 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) : 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) : Conférences internationales avec comité de lecture Ghada Gasmi, Yahya Slimani et Lotfi Lakhal, "Towards a parallel approach for mining of functional dependencies on multi- 4

8 core systems", In : Proceedings of the 15 th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems ( Kes 2011), Kaiserslautern, Germany, September LNCS/LNAI Springer-Verlag, pages Ghada Gasmi, Amira Beji, Yahya Slimani et Lotfi Lakhal, "Functional dependency mining : harnessing multi-core systems", In : Proceedings of the 10 th IEEE/ACIS International Conference on Computer and Information Science ( Icis 2011), Sanya, China, May IEEE Computer Society Press, pages Ghada Gasmi, "IncFDs : un nouvel algorithme d inférence incrémentale des dépendances fonctionnelles", Dans les actes de la dixième Conférence Internationale Francophone sur l Extraction et la Gestion des Connaissances (EGC 2010), Hammamet, Tunisie, Janvier Revue des Nouvelles Technologies de l Information (RNTI-E-19), pages Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo, Slim Bouker, "Extraction of association rules based on literalsets", In : Proceedings of the 9 th International Conference on Data Warehousing and Knowledge Discovery ( Dawak 2007), Regensburg, Germany, September 2007, LNCS/LNAI 4654 Springer- Verlag, pages Mohamed Amir Esseghir, Ghada Gasmi, Sadok Ben Yahia, Yahya Slimani, "Egea : A New Hybrid Approach Towards Extracting Reduced Generic Association Rule Set (Application to AML Blood Cancer Therapy)", In : Proceedings of the 8 th International Conference on Data Warehousing and Knowledge Discovery ( Dawak 2006), Krakow, Poland, September 2006, LNCS/LNAI 4081, Springer-Verlag, pages Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo, Yahya Slimani, "Discovering "Factual" and "Implicative" generic association rules", Dans les actes de la 7 ime Conférence 5

9 Francophone sur l Apprentissage Automatique (CAp 2005), Nice, France, Juin 2005, pages Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo, Yahya Slimani, "Igb : A New Informative Generic Base of Association Rules", In : Proceedings of the 9 th Pacific-Asia Conference of Advances in Knowledge Discovery and Data Mining (PAKDD 2005), Hanoi, Vietnam, May LNCS/LNAI 3518, Springer- Verlag, pages 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 3 rd International conference of Concept Lattices and Their Applications (CLA 2005), Olomouc, Czech Republic, September 2005, pages Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo, Yahya Slimani, "A new Informative Generic Base of Association Rules", In : Proceedings of the 2 nd conference of Concept Lattices and their Applications (CLA 2004), Ostrava, Czech Republic, September 2004, pages Ateliers internationaux Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo, "Extraction de règles d association à partir de données décentralisées : Problèmes et perspectives", In : Actes de l atelier Fouille de Données Complexes (FDC 07) de la conférence EGC 07, Namur, Bélgique, Janvier 2007, pages Ghada Gasmi, Tarek Hamrouni, Sonia Abdelhak, Sadok Ben Yahia, Engelbert Mephu Nguifo, "Extracting generic basis of association rules from SAGE data". In Proceedings of the ECML/PKDD Discovery Challenge Workshop, Porto, Portugal, September 2005, pages

10 Séjours de recherche Séjour de recherche à l unité de recherche Advanced Database Research and Modelling, Mathematics and Computer Science Department, University of Antwerp, Antwerp, Belgium, du 19/03/2007 au 07/03/2007, pour une collaboration avec le Professeur Bart Goethals. Séjour de recherche au Centre de Recherche en Informatique de Lens, France, du 01/10/2005 au 21/12/2005, pour une collaboration 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 collaboration avec le Professeur Engelbert Mephu Nguifo. Animation de séminaires de recherche Ghada Gasmi, Extraction of generic basis of generalized association rules. Séminaire animé au sein de l unité de recherche Advanced Database Research and Modelling, Mathematics and Computer Science Department, University of Antwerp, Antwerp, Belgium, March 28, Ghada Gasmi, Extraction des bases génériques de règles d association. Séminaire animé au sein du Centre de Recherche en Informatique de Lens, France, 8 Décembre Participation à la relecture d articles scientifiques Relecture de papiers soumis à 10 th International Conference of Entreprise information systems (ICEIS 2008) (relecteur externe). Relecture de papiers soumis à 4 th International Conference on Concept Lattices and their Applications (CLA 2006) (relecteur externe). 7

11 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 internationale 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), Novembre 2004, Hammamet, Tunisie. Expériences pédagogiques Activités pédagogiques Depuis Septembre 2011 : Assistante en Informatique au département de génie mathématique et de génie informatique de l INSAT. De Septembre 2005 à Juin 2010 : Assistante contractuelle en informatique 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 : 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

12 mier Semestre). Programmation orientée objet : Travaux dirigés assurés aux étudiants 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) : 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 (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). 9

13 : 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 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) : 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) : 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

14 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 étudiants de la première année du cycle préparatoire des ingénieurs à la Faculté des Sciences de Tunis (Deuxième Semestre) : Structures de données et programmation C : Travaux dirigés assurés aux étudiants de la première année de Licence Fondamentale 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 Informatique (Premier Semestre) : Logique formelle : Cours assuré aux étudiants de la première année de la Maîtrise en Mathématiques-Informatique, en Électronique- Informatique à la Faculté des Sciences de Tunis (Deuxième Semestre). 11

15 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) : Logique formelle : Cours assuré aux étudiants de la première année de la Maîtrise en Mathématiques-Informatique, en Électronique- Informatique à la Faculté des Sciences de Tunis (Deuxième Semestre). 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) : Algorithmique et programmation Maple : Travaux dirigés assuré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 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 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 et

16 Encadrement de quatre projets de fin d études du cycle de Technicien Supérieur en Productique à la Faculté des Sciences de Tunis pour les années universitaires et 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écommunications, 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. Février - Juin 2003 : Stages Professionnels 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 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

17 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 : Français : Anglais : Langue maternelle. Lu, Parlé, Écrit. Lu, Parlé, Écrit. 14