Institut de Recherche Technologique SystemX
- Ingénieur de recherche - chef de projet OpenAltaRica
2014 - maintenant
Thales
- Ingénieur de recherche - spécialiste modélisation logiciel
Courbevoie2013 - 2014
Laboratoire d'Informatique de l'École Polytechnique
- Ingénieur de recherche
2012 - 2013Étude de nouveaux concepts pour le langage de modélisation AltaRica 3.0 (sûreté de fonctionnement).
Simulation stochastique de modèles AltaRica 3.0.
Représentation et animation graphique de modèles.
Laboratoire d'informatique de l’École Polytechnique (LIX)
- Ingénieur de recherche post-doctorale
2012 - 2012Simulation stochastique de modèles AltaRica 3.0 (sûreté de fonctionnement).
le torquesne2008 - 2011Thèse CIFRE - société Sherpa Engineering (La Garenne Colombes) et laboratoires LRI de l'université Paris-Sud (Orsay) et LISE du CEA LIST (Saclay).
Sujet : Diagnosticabilité et diagnostic de systèmes technologiques pilotés (soutenue le 13 décembre 2011).
Objectif et résultat : Développement d'une chaîne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés.
Laboratoire d’Ingénierie dirigée par les modèles pour le Systèmes Embarqués (LISE) du CEA LIST
- Ingénieur de recherche
2007 - 2008Implémentation d'un algorithme de vérification et d'étude de la diagnosticabilité de systèmes réactifs.
