Hélène Collavizza
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
Enseignement
- 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.
Activité de valorisation pour les journées
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
Activité de recherche
- 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
Activité d'administration
- 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)
mon CV détaillé