Bezons
Après un parcours dirigé vers la mécanique et l'aéronautique (Maîtrise de Mécanique & Ecole d'ingénieur ENSMA), je me suis tourné vers l'informatique en troisième année de l'ENSMA. J'ai obtenu mon diplôme de DEA (Traitement de l'Information, Informatique, Image et Automatique) durant cette troisième année d'école pour finalement me diriger vers une thèse d'informatique à l'ONERA (Office National d'Etudes et de Recherches Aérospatiales).
Après avoir travaillé sur une architecture à base de composants pour les systèmes embarqués durant mon stage de DEA, j'ai poursuivi mes travaux de recherche en thèse. Mes travaux se sont intéressé à la validation & vérification formelle des IHM (Interfaces Homme-Machine) par analyse de code source source Java-Swing.
Toujours intéressé par les méthodes formelles et l'Ingénierie Dirigée par les Modèles, j'ai poursuivi des études post-doctorales dans l'équipe ACADIE de l'IRIT à Toulouse. Dans le cadre de ce post-doctorat financé par le CNES, j'ai travaillé sur la définition d'un langage métier dédié à l'aérospatiale qui vise à supporter un processus de développement basé sur l'ingénierie des modèles.
Au cours de ces années de doctorat et de post-doctorat, j'ai eu l'occasion d'encadrer des cours et des travaux pratiques dans des écoles d'ingénieurs de Toulouse(ISAE, INSA, ENSEEIHT).
Je suis aujourd'hui embauché en tant qu'Ingénieur Logiciel et Expert Technique chez Atos Origin dans la Cellule Innovation.
Mes compétences :
Acceleo
Docteur ingénieur
Embedded Systems
EMF
Engineering
IDM
IHM
Informatique
Ingénieur informatique
JAVA
Java Swing
Lustre
Method
Methode B
Methodes
Méthodes Formelles
Methods
Model checking
Reverse engineering
SCADE
Swing
Systèmes Embarqués
Topcased
UML
Validation
Validation & Vérification
