-
SYDERAL
- Ingénieur Conception et Développement
GENNEVILLIERS
2012 - maintenant
Mission : Conception et développement d’un système de fichiers permettant la gestion de données d’une mémoire de masse venant de différents équipements. Celle-ci est destinée à être embarquée sur le satellite EarthCare de l’Agence Spatiale Européenne (ESA).
-
Institut National de la Recherche en Informatique et Automatique (INRIA)
- Ingénieur Recherche et Développement
2011 - 2011
Mission : Vérification de propriétés temporelles portant sur les reconfigurations dynamiques des systèmes à composants grâce à des grammaires de graphes.
Réalisations :
- Etudes d’outils utilisant les grammaires de graphes
- Modélisation d’un système à composants et de ses reconfigurations grâce à des grammaires de graphes
- Expression de propriétés temporelles
- Simulation de l’exécution d’un système et vérification des propriétés temporelles
-
Université de Franche-Comté
- Attaché Temporaire de Recherche et d'Enseignement
2009 - 2011
Mission : Spécification et vérification de propriétés temporelles dans les systèmes à composants
Réalisations :
- Etude des reconfigurations dynamiques dans les systèmes à composants
- Définition d’un langage (avec JavaCC/JJTree) permettant d’exprimer des propriétés sur les reconfigurations dynamiques
- Vérification formelle des propriétés lors des reconfigurations dynamiques
- Développement d’un outil (en Java) permettant de vérifier dynamiquement les propriétés sur les systèmes à composants reconfigurables
Enseignements :
- Activité d’enseignement au sein de l’U.F.R Sciences et Techniques et de l’U.F.R. Sciences du Langage, de l’Homme et de la Société.
- Cours dispensés : Sécurité, Méthodes et Outils pour l’Intelligence Artificielle, Sécurité, Analyse et Modélisation des Systèmes d’Information, C2I, …
- Conception de cours de tous niveaux
-
Agence Nationale de la Recherche
- Ingénieur Recherche et Développement
PARIS 12
2007 - 2009
Mission : Mise en œuvre de politiques d’adaptation pour les systèmes à composants
Réalisations :
- Adaptation des systèmes à composants à leur environnement
- Définition de politiques d’adaptation permettant de capturer l’environnement et de choisir la reconfiguration dynamique à exécuter dans un certain contexte
- Développement d’un outil (en Java) prenant en compte les politiques d’adaptation et simulant l’exécution de systèmes à composants
-
Laboratoire d'Informatique de l'Université de Franche-Comté
- Stagiaire (Master Informatique)
2007 - 2007
Spécifier et tester des politiques de sécurité dans le domaine des cartes à puce
Réalisations :
- Etude de politiques de sécurité proposée par une spécification liée au domaine des cartes à puce
- Extraction de propriétés de sécurité à vérifier de cette spécification
- Proposition d’une méthode de génération de tests liés aux propriétés de sécurité
-
PSA Peugeot Citroën
- Stagiaire (D.U.T Informatique)
Rueil Malmaison
2003 - 2004
Mission : Analyse des données et développement d’une base de données relatives aux crash-tests
Réalisations :
- Etude des besoins des différents métiers liés à la réalisation de crash-tests
- Analyse des données et développement d’une base de données (avec Microsoft ACCESS et Visual Basic) permettant de gérer les données récoltées
- Mise en place de formulaires permettant d’encadrer la saisie des données
