Aix en Provence
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
