Aix en Provence
RETROUVEZ GRATUITEMENTRésultat municipales à Malakoff
Résultat municipales dans les Hauts-de-Seine
Je suis actuellement ingénieur chez Systerel, entreprise spécialisée dans les systèmes critiques et la sûreté de fonctionnement.
Je suis docteur en Electronique, Électrotechnique et Automatique. Ma thèse a été réalisée au sein du LURPA à l'ENS de Cachan dans le cadre d'un projet ANR en partenariat avec EDF R&D et Dassault Systèmes (http://vacsim.inria.fr/ ). Mon domaine de recherche traite de la validation de contrôleur logique isolé (test de conformité) ou couplé avec la partie opérative (validation avec partie opérative simulée).
Normalienne de l'Ecole Normale Supérieure de Cachan, j'ai suivi une formation en mécanique, conception et informatique industrielle en Licence puis un Master en ingénierie des systèmes complexes orienté sureté de fonctionnement (méthodes formelles, model-checking, validation de spécifications, modèles probabilistes) et modélisation de systèmes à évènements discrets (modélisation de contrôleur par Réseau de Petri, machine de Mealy, Grafcet).
Mes compétences :
Contrôle-commande
Automates programmables
Automates
Python
Modélisation de processus
Développement informatique
Test fonctionnel
Vous avez travaillé avec Anaïs dans une entreprise qui n'apparaît pas dans son parcours ?
N'hésitez pas à lui suggérer d'ajouter cette expérience en lui envoyant un message.
Pour cela ajoutez d'abord Anaïs à vos contacts.
