Maître de Conférences au département informatique de Polytech’Nice Sophia-Antipolis (UNSA)

Polytech'Nice Sophia-Antipolis, dept. Informatique,
Route des colles, BP 145,
06903 Sophia Antipolis, France
Phone: (++33) 04 92 96 51 63
Fax: (++33) 04 92 96 51 55
E-mail: helen@polytech.unice.fr

• En CIP1 (cycle intégré préparatoire première année), je suis responsable du cours de Structure de données et programmation en Python.
• En SI3 (première année du cycle ingénieur département Sciences Informatiques, niveau L3), j'enseigne l'algorithmique et encadre les projets DeViNT.
• En MAM3 (première année du cycle ingénieur département Mathématiques Appliquées et Modélisation, niveau L3), je suis responsable de l'enseignement de programmation Java .
• Je représente l'EPU à la LPSIL(Licence Professionnelle des Systèmes Informatiques et logiciels).
• J’encadre de nombreux projets d'étudiants autour de l'apport des NTIC pour la déficience visuelle.

Déficients VIsuels et Nouvelles Technologies

• J'encadre les projets DeViNT SI3 avec Jean-paul Stromboni et Anne-Marie Pinna. Nous travaillons en collaboration étroite avec l'Institut d'Education Sensorielle C. Ader et l'Ecole spécialisée du château à Nice pour développer des logiciels éducatifs et ludiques accessibles aux déficients visuels. Ces projets sont diffusés sur CDRom aux participants de la journée.
• Le CD DeViNT et la synthèse vocale SI_VOX ont remporté le prix de la Communication autour de l'ordinateur au challenge handicap inter-universitaire de Metz édition 2007.
• Le CD DeViNT et la synthèse vocale SI_VOX ont été présentés dans un atelier à la journée World Usability Day at Sophia Antipolis le 29 novembre 2007.
• Vous pouvez tester l'outil de "synthèse de la parole à partir du texte" que nous avons développé et qui est utilisé dans les projets (ici ou sur la vitrine des projets de l'école). Cette synthèse a été largement diffusée et téléchargée; elle est intégrée à l'outil donner la parole".
• J'ai co-présidé la journée DeViNT'2006

• Je travaille avec Michel Rueher dans l'équipe CeP .
• Je m'intéresse à la validation de spécifications JML de programmes Java (sous-ensemble restreint de Java) par résolution de contraintes. L'idée générale est de montrer que le système de contraintes issus du programme et de la négation de sa spécification est inconsistant.
• J'étudie l'apport de l'abstraction booléenne et de la combinaison de méthodes de résolution hybrides qui combinent des solveurs SAT, CSP et de programmation linéaire.
• Ces travaux ont été effectués dans le cadre du projet RNTL DANOCOPS puis dans le cadre du projet RNTL TESTEC où il s'agit d'appliquer nos méthodes aux programmes temps réels.
• J'ai été invitée 6 mois (de Février 2008 à Août 2008) à l'Université de Cambridge dans l'équipe du professeur Mike Gordon. Nous avons travaillé sur la vérification formelle des programmes basée sur la sémantique, par raisonnement "avant" (de type "bounded model-checking), et en intégrant un solveur SMT, un solveur de contraintes et le démonstrateur de théorèmes HOL4.

Publications

• Membre élu du conseil du département informatique de Polytech'Nice Sophia-Antipolis (de juin 2005 à septembre 2007, réunions bi-mensuelles). Animatrice du groupe de réflexion sur la pédagogie pour le plan quadriénal.
• Correspondant de la Bibliothèque Universitaire (Septembre 2004 à septembre 2007).
• Coprésidente de la journée DeViNT'2006 (avec S. Lavirotte et Jean l'Herbon de Lussats).
• Responsable de la logistique pour les journées DeViNT 2005 et 2004.
• Membre de la Commission de Spécialistes 27ème section : assesseur de septembre 1994 à avril 1998, vice-présidente maître de conférences d'avril 1998 à Octobre 2001, membre simple de Septembre 2004 à Octobre 2008.
• Responsable pédagogique de la première année de l'ESSI (de Janvier 2000 à janvier 2004, promotions variant entre 100 et 120 étudiants).
• Membre élu du Conseil d'Administration de l'ESSI (de 1994 à 2000)
• Responsable de la communication de l'Ecole (de Septembre 1995 à Janvier 2000)
• Responsable des séminaires ESSI-3 (de 1994 à 1996)