Paris, Aix en Pce et Lyon2007 - maintenantResponsable développement outils à ClearSy
- Développement et maintenance de l'outil de développement logiciel formel "Atelier B"
Formateur à la méthode B
- Dispense de formations en France et à l’étranger depuis 2008.
Développement logiciel embarqué
- Développement de logiciels Linux embarqués pour les métros de Paris et Sao-Paulo
Gemplus
- Ingénieur Recherche
Meudon1999 - 2007Ingénieur recherche à Gemplus/Gemalto
- Développement d'une machine virtuelle .NET embarquée pour carte à puce et objets intelligents. Ce projet a reçu un prix « Sésames » au salon Cartes 2005
- Développement et intégration dans l’environnement de développement Java « Eclipse » d’un outil de validation formelle de programmes Java à partir d’annotation en langage JML
- Spécification et développement en B du premier vérifieur de byte-code embarqué prouvé correct pour Java Card
- Responsable technique sur le projet RNTL BOM (B optimisé mémoire), projet visant à développer un compilateur du langage B vers le langage C applicable aux plates-formes embarquées fortement contraintes
Gemplus
- Stage de fin d'études
Meudon1998 - 1998Stage de fin d’études à Gemplus, dans le laboratoire de recherche
Application de la méthode formelle B à la validation des optimisations effectuées par le convertisseur d’applets Java pour les cartes Java Card.
Ecole de l'ait
- Scientifique du contingent
1998 - 1999Service national en tant que scientifique du contingent à l’école de l’air
- Cours d’informatique (langage C), et encadrement de projets d’élève
- Conception et développement d’applets Java de support à l’enseignement
Wipro Systems
- Stage Ingénieur
1997 - 1997Stage à WIPRO Systems, entreprise d’informatique basée à Bangalore (Inde)
Création de composants réutilisables en Java et définition de règles de programmation.
