Cursus Universitaire

Doctorat en Informatique de l'Université de Technologie de Belfort-Montbéliard
Durée : 2006-2009
Lieu : Laboratoire Systèmes et Transports (SeT)
Titre : Modèle multi-agents réactifs pour la navigation multi-véhicules : Spécification formelle et Vérification.
Directeur : Pablo Gruer, Professeur des Universités.
Co-Directeur : Franck Gechter, Maître de Conférences.
Date de soutenance : 4 décembre 2009.
Lieu de soutenance : Université de Technologie de Belfort-Montbéliard, Belfort.
Mention : Très honorable
Jury :
François Charpillet, Directeur de Recherche, LORIA-INRIA Lorraine, Rapporteur
Giovanna Di Marzo Serugendo Lecturer, Birkbeck college, Université de Londres, Rapporteur
Philippe Lenca, Maître de Conférences HDR, Telecom Bretagne, Rapporteur
Jean-Paul Haton, Professeur des Universités, Henri Poincaré, Nancy 1, Examinateur
Michel Parent, Responsable Scientifique, INRIA Paris, Examinateur
Abderrafiaa Koukam, Professeur, UTBM, Examinateur
Pablo Gruer, Professeur, UTBM, Directeur de Thèse
Franck Gechter, Maître de Conférences, UTBM, Co-Directeur de Thèse

Master Informatique Systèmes et Communications (ISC)
Lieu : Université de Haute-Alsace (UHA), Mulhouse
Durée : 2005-2006
Titre : Accroche immatérielle (platooning) en utilisant les concepts d’agent réactif.
Directeurs : Pablo Gruer, Professeur des Universités et Franck Gechter, Maître de Conférences.
Mention : Très Bien.
Stage réalisé au sein du laboratoire Systèmes et Transports (SeT) de l'Université de Technologie de Belfort-Montbéliard.

Diplôme d'Ingénieur en Informatique
Filière systèmes et réseaux temps réel
Lieu : Université de Technologie de Belfort-Montbéliard
Durée : 2003-2006

Préparation aux grandes écoles
Lieu : Lycée viette Montbéliard (25)
Durée : 2001-2003

Baccalauréat technologique
Spécialité électrotechnique
Lieu : Lycée Louis Aragon, Héricourt, Haute-Saône (70)
Durée : 1999-2001
Mention : Très Bien

Expériences professionnelles

Laboratoire Systèmes Et Transports (SET)
Post-Doctorant
Septembre 2009 à aujourd’hui
Belfort 9000

• Développement d'un logiciel embarqué en Java pour les Bus de Belfort.
• Vacation données à l’Université Technologique de Belfort-Montbéliard (UTBM) : Interface et coopération homme/machine, Vision et réalité virtuelle, intelligence artificielle, langage object, …

Laboratoire Systèmes Et Transports (SET)
Attaché temporaire d'enseignement et de recherche
Décembre 2009 à Septembre 2010
Belfort 9000

• Axes de recherche : navigation multi-véhicules, multi-agents, spécification et vérification formelle
• Enseignements donnés à l’Université Technologique de Belfort-Montbéliard (UTBM) : temps réel, intelligence artificielle, langage object, …

Laboratoire Systèmes Et Transports (SET)
Doctorant
Juillet 2006 à décembre 2009
Belfort 90000

• Participation et montage de projets (CRISTAL, …) : membre de l’équipe, programmation et encadrement d’ingénieurs.
• Thèse de trois ans : Modèles multi-agents réactifs pour la navigation multi-véhicules : spécification formelle et vérification.
• Enseignements donnés à l’Université Technologique de Belfort-Montbéliard (UBTM) : temps réel, intelligence artificielle, langage object, …

Laboratoire Systèmes Et Transports (SET)
Ingénieur
Février à Juillet 2006
Belfort 90000

• Stage de fin d’étude ingénieur UTBM et Master Université de Haute Alsace (UHA)
• Recherche, expérimentation, développement java et C++
• Accroche immatérielle (platooning) en utilisant les concepts d’agent réactifs.

Laboratoire Mécatronique Méthodes, Modèles et Métiers (M3M)
Ingénieur
Juin à Septembre 2005
Sévenans

• Ingénieur d’étude temporaire
• Développement d’outil d’évaluation de performance industrielle en java

Laboratoire Mécatronique Méthodes, Modèles et Métiers (M3M)
Ingénieur
Septembre à Février 2005
Sévenans

• Stage de recherche de milieu d’étude
• Elaboration d’un prototype permettant la mise en oeuvre de la méthode TRIZ
• Développement en java
• Inscription dans une démarche qualité