Menu

Aurore ANNICHINI

La Seyne-sur-Mer

En résumé

Adaptabilité, Dynamisme et Communication.

De formation universitaire en informatique (Doctorat sur la vérifications formelles des systèmes temporisés embarqués), j'ai travaillé dans le domaine public (recherche et enseignement à l'université) et dans le domaine privé (industrie des minéraux, éditeur de logiciel).

Depuis 2007 chez un éditeur de logiciel d'enquêtes,
je participe au développement de la version locale de notre logiciel (WPF(C#) et de notre suite logicielle en ligne (MVC, Angular, ASP).
Depuis 2015, dans le cadre d'une organisation d'équipe Agile, j'occupe le poste de ScrumMaster.
Enfin, j'apporte du conseil et du soutien technique auprès de nos clients.

Mes compétences :
WPF
C#
.Net
Informatique
ASP
AngularJS
Gestion de projet

Entreprises

  • Ergole Informatique - Ingénieur développement

    La Seyne-sur-Mer 2007 - maintenant Je participe au développement de la version locale de notre logiciel utilisant les technologies WPF(C#) de VisualStudio.

    D'autre part, je développe une partie de notre solution Asp.Net. Utilisant la solution ASP/C#, en appui sur les nouvelles techniques (Ajax) je développe la partie suivi de résultats sur internet.

    Enfin, j'apporte du conseil et du soutien technique auprès de nos clients.

  • TDL - Chef de projet .Net -- Développeur

    2005 - 2007 déc 2005 - sept 2007 : chef de projet "PhorosS7"
    L'objectif de ce logiciel est d'aider la programmation automate (Siemens) avec une interface graphique et une aide méthodologique.
    Après un travail de discussion et de spécification, j'encadre et je développe ce logiciel en C#.
    Phoros est un outil d’automatisation destiné à superviser et gérer des installations automatique de manière flexible à l’aide d’un paramétrage intuitif.

    mars 2007 - sept 2007 : chef de projet "Opsis"
    Opsis, logiciel de suivi de données, permet de garantir une traçabilité sans faille sur chacun des sites de production. En se connectant à un serveur automate (via OPC) nous développons une suite d'outils permettant de créer et de gérer des rapports de productions.
    Notre service va du développement de cette suite logicielle à l'accompagnement des clients dans leur utilisation.

    janvier 2007 - sept 2007: Responsable dpt informatique
    Responsable d'une équipe de 2 personnes, je met en place des techniques de communications (outil de CMS, documentation en XML) pour que les échanges avec notre département automatisme soient simples et efficaces.

  • INPG - Ensimag - Enseignante Informatique

    2003 - 2004 * Réorganisation du cours « Systèmes temps réel » pour une meilleure adéquation de la formation des ingénieurs avec les besoins des entreprises.
    * Responsabilité et création du support de cours.
    * Création de travaux pratiques.

  • INRIA - Postdoctorant

    Le Chesnay 2002 - 2004 Mission : créer un langage de description de systèmes embarqués
    * Etude comparative des algèbres de processus temporisées.
    * Définition du besoin de modélisation des contraintes temps réel. Réalisation de l’extension temporelle du langage NTIF. Vérification formelle de propriétés de la sémantique. Mise en œuvre sur le protocole de carte à puce CEPS.
    * Co-organisation d’un workshop sur la spécification, la vérification et le test d’applications pour la carte à puce.
    * Encadrement de stagiaires (Ecole Supelec de Metz)

  • IUT Pierre Mendès France - Enseignante Informatique Appliquée

    2001 - 2003 * Responsable du cours « Utilisation de Windows ». Création des supports de cours et de leurs corrigés.
    * Responsable TP du cours « Sites web documentaires » : conception, édition, architecture, ergonomie des sites, produits documentaires statiques. Redéfinition des objectifs des travaux pratiques.
    * Encadrement de projets et de stages en entreprise.

  • VERIMAG - Doctorant + Postdoctorant

    1998 - 2002 Mission : Développer et implanter une nouvelle technique d'analyse formelle de systèmes embarqués paramétrés

    * Etude des techniques d’analyse symbolique et création d’un modèle objet pour les systèmes temps réel.
    * Rédaction cahier des charges. Spécification et réalisation d’un logiciel de vérification symbolique de systèmes embarqués : TReX (C++, 250 classes). Documentation.
    * Etude et implantation d’algorithmes pour passage à l’échelle. Validation de l’outil TReX. Gestion de version et stabilisation de TReX.
    * Portage du code de TReX sur Linux. Elaboration d’un site web pour sa diffusion.
    * Comparaison des outils de model-checking. Etude et vérification du Bounded Retransmission Protocol de Philips. Synthèse des contraintes satisfaisant les propriétés de sûreté du protocole d’élection de IEEE 1394. Analyse du protocole PGM de France Telecom avec TReX.

  • Université Joseph Fourier - Enseignante informatique

    Saint-Martin-d'Hères 1998 - 2001 * Enseignements dispensés : « Expression fonctionnelle », « Bases de données » et « Architectures logicielles et matérielles ».
    * Gestion et encadrement d’un projet logiciel visant à développer un assembleur SPARC : codage des instructions, format Elf, données de translation (en C sur 8 semaines).

Formations

Réseau

Annuaire des membres :