Hanane Naciri
Née le 14 juillet 1975 à Casablanca, mariée

INRIA Sophia Antipolis, projet LEMME
2004, route des Lucioles B.P.93
06902 Sophia Antipolis(France)
Tél.:+(33)4 92 38 76 66

E-mail: Hanane.Naciri@sophia.inria.fr
 
 

Docteur et ingénieur en informatique
 

Formation

 
1999-2002
 Doctorat en Informatique, Université de Nice Sophia-Antipolis
Admise avec mention très honorable
Soutenue le 11 décembre 2002
Allocataire de Recherche du Ministère de l'Éducation Nationale de la Recherche et de la Technologie
Laboratoire d'accueil: INRIA Sophia Antipolis
1998-1999 Diplôme d'Etudes Approfondies (DEA) en Informatique
Ecole Supérieure en Sciences Informatiques (ESSI), Université de Nice Sophia Antipolis
Mention assez bien
1995-1998 Diplôme d'Ingénieur en Informatique
Ecole Nationale Supérieure d'Informatique et d'Analyse des Systèmes (ENSIAS),Université Mohammed V, Rabat
Admise avec félicitations, et Prix de l'ENSIAS et de l'université Mohammed V Souissi
Spécialité : Génie logiciel
1993-1995 Mathématiques Supérieures et Spéciales (SUP, SPE), Lycée Mohammed V, Casablanca
1992-1993 Baccalauréat Sciences mathématiques, mention bien, Lycée Baroudi, Casablanca

 
Expérience professionnelle
Industrie et recherche

Depuis Oct. 2002
 Ingénieur expert à l'INRIA Sophia Antipolis, projet Lemme
Participation au projet européen MOWGLI (Mathematics on the Web: Get It by Logic and Interfaces).
Réalisations :
  • développement d'un prototype Web de manipulation de documents mathématiques sur le Web. Ce prototype donne laccès à la base de données Mowgli qui contiennent à la fois des preuves formelles et des articles scientifiques. Ces données sont consultables sous deux différentes vues : une vue formelle montrant lobjet représentant la preuve (lambda terme representé en XML) et une vue de représentation des explications de la preuve en langage naturel .
  • génération automatique des explications de preuves en langage naturel à partir du script de preuve (ensemble de commandes donné au système de preuve). Ces preuves en langage naturel sont facile à comprendre par des gens qui ne sont pas très familier aux systèmes de développement de preuve. Elles sont représentées sous un format Web avec des notations mathématiques appropriées (document XHTML incluant du MathML). 
Techniques d'implemetation: Les transformations XSL, manipulation des documents XML/MathML
1999-2002
 Thèse à l'INRIA Sophia Antipolis, projet Lemme
Sujet: conception et réalisation d'outils pour l'interaction homme machine dans les environnements de démonstrations mathématiques (developpement en lanagage Java).

Réalisations: 

Composant Java: Extension de la librairie FIGUE pour présenter et manipuler des données mathématiques. Actuellement, FIGUE est utilisée pour le développement du système PCOQ, une interface graphique conçue pour le systèmes de preuves Coq. Il permet de présenter d'une façon conviviale des preuves développées sous PCOQ.

Le standard MathML: Migration de nos outils de développement de preuves vers les technologies Web en ajoutant le support MathML dans nos environnements. 
 
Internalisation: Présentation des formules mathématiques dans un contexte multilingue, en particulier l'arabe. Proposition d'une approche générale pour manipuler les formules mathématiques dans un contexte bidirectionnel (mélange des directions décritures) et extension de FIGUE pour implémenter cette technique. Ce travail est utilisé pour :

- présenter des explications de preuves mathématiques en arabe dans le système PCOQ.
- aider à définir de nouvelles recommandations de la norme MathML pour l'affichage bidirectionnel de formules mathématiques.
Mars - Juin 99  Stage de DEA à l'INRIA Sophia Antipolis, projetCAFE
Développement d'une bibliothèque pour la simplification des entiers symboliques conditionnels avec le langage Aldor, un langage orienté vers l'implémentation d'algorithmes mathématiques.
 
Un entier symbolique conditionnel est une expression symbolique à valeur entière à laquelle on associe des conditions de congruence. Ce travail a consisté à étudier et à implémenter des mécanismes de base pour la construction et la simplification d'expressions et de conditions formelles, en se limitant aux conditions de congruence sur les entiers.
 
Juin -Sept. 98  Stage d'été, Filteries du Maghreb (filiales de DMC au Maroc), Casablanca
Réalisation d'un logiciel de consultation du stock en langage Delphi3
Févr. -Mai 98 Stage de fin d'études ingénieur à l'INRIA Sophia Antipolis, projet SAFIR
Conception et développement d'une bibliothèque de Génération de code Fortran 90 dans Maple Macrofort90
Août -Sept.97 Stage de fin de deuxième année ingénieur,  SGS-Thomson, Casablanca
Installation et administration de Novell Netware et communication avec Windows NT Rapport

Juill. 96 Stage de fin de première année ingénieur, Société d'Exploitation de Verreries au Maroc (SEVAM), Casablanca
Réalisation d'un nouveau logiciel de gestion de stock pour le service magasin


Enseignement

 
1999-2003
(195 heures)		 Enseignant vacataire à l'Ecole Supérieure en Sciences informatiques (ESSI), en maîtrise d'Ingénierie Mathématique et en DEUG de l'Université de Nice Sophia Antipolis

Matières enseignées :
  • Programmation orientée objet en Java
  •  Algorithmique et Programmation
  •  Système Unix et le langage C
  •  Projet de programmation sous Java
  •  Stage d'initiation en Java

   

Publications et participation à des conférences (pour plus de détails)


Revue électronique
  • Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées ARIMA (volume1 - 2002)
Conférences internationales
  • MathML 2002, Chicago (États-Unis), Juin 2002
  • CARI2002  6ème Colloque Africain sur la Recherche en Informatique, Yaoundé (Cameroun), Octobre 2002
  • ASCM 2001, the Fifth Asian Symposium on Computer Mathematics, Matsuyama (Japan), Septembre 2001
  • CARI'2000 5ème Colloque Africain sur la Recherche en Informatique, Antananarivo(Madagascar), Octobre 2000
Workshop international
  • IAMC2001 Workshop on Internet Accessible Mathematical Computation, London Ontario (Canada), Juillet 2001
Thèse et Rapports techniques
  • Rapport de thèse, 2 Rapports de recherche INRIA, 1 Rapport de DEA, 1 Rapport de projet de fin détudes ingénieurs


  Compétences

  Techniques et outils informatiques

 
Modélisation UML, Design Patterns, Merise, SADT, DFD
Environnement Unix, Linux, Windows95, Windows NT et Novell
Langages Java, XML, C/C++, Smaltalk, Eiffel, Pacal, Scheme, Lisp, Prolog, Aldor
IHM Visual C++, Delphi, Visual Basic
SGBD Informix 4GL, O2
Réseau Internet : Protocoles et applications, Interconnexion et Mise en oeuvre des réseaux
Technologies Web
 XML, MathML, XSL, Internalization


 Responsabilités collectives

Séjours à l'étranger
Juillet 2001 et Novembre 2003 Séjour au centre de recherche ORCCA de l'Université de Western Ontario Canada dans le cadre de collaboration franco-canadienne, et les relations internationales de l'INRIA
Novembre 2002
Séjour dans le projet HELM de l'Université de Bologne (Italie) dans le cadre du projet européen MOWGLI

 Formations complémentaires


Langues

Arabe (courant), Français (courant), Anglais (courant)

Centres d'intérêts

Basket, Voile, Tennis, Randonnée. 

 
 
 
Hanane Naciri
2004-01-30