Curriculum Vitae

État civil

Cursus universitaire

Nov. 2011

Habilitation à Diriger des Recherches de l'Université Nancy 2, spécialité Informatique.
Sujet du mémoire: Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis.

Nov. 1994

Doctorat de l'Université Henri Poincaré - Nancy I, spécialité Informatique (mention Très Honorable).
Sujet du mémoire: Déduction automatique avec contraintes symboliques dans les théories équationnelles.
Directeur de thèse: Michaël Rusinowitch.

Sept. 1990

Diplôme d'Études Approfondies en Informatique de l'Université Nancy I (mention Bien).
Sujet du mémoire: Déduction automatique dans des théories associatives et commutatives.

Juin 1989

Maîtrise en Informatique de l'Université Nancy I (mention Bien).

Juin 1988

Licence en Informatique de l'Université Nancy I (mention Bien).

Juin 1987

Diplôme Universitaire de Technologie en Informatique de l'Université Nancy 2.

Expérience d'enseignement

Sep. 2012 - ...

Professeur d'Université à l'U.F.R. Mathématiques et Informatique, puis Institut des sciences du Digital - Management & Cognition, de l'Université de Lorraine.
Enseignement en licence MIASHS, master MIAGE, École de management, master Informatique, Polytech Nancy, ...

Sep. 1997 - Août 2012

Maître de Conférences à l'U.F.R. Mathématiques et Informatique de l'Université de Lorraine (ex-Nancy 2).
Enseignement en MIAGE, École de management, Sciences Économiques,...

Sep. 1996 - Août 1997

Attaché Temporaire d'Enseignement et de Recherche à l'Université Nancy 2. (poste complet)
Matières enseignées: initiation au réseau Novell, initiation à Unix, initiation à la programmation Windows, algorithmique et programmation, intelligence artificielle, programmation sous Excel avec Visual Basic, utilisation d'outils statistiques.
Intervention en premier, second et troisième cycles.

Déc. 1995 - Août 1996

Attaché Temporaire d'Enseignement et de Recherche à l'Université Henri Poincaré - Nancy I. (demi-poste)
Matières enseignées: modèles et algorithmes (récursivité, arbres, programmation logique et fonctionnelle), systèmes informatiques (structure des ordinateurs, algorithmique, programmation).

Oct. 1991 - Sept. 1994

Enseignement aux étudiants en 1ère année à l'I.U.T. Informatique de l'Université Nancy 2, dans le cadre du Monitorat.
Matières enseignées: initiation à l'informatique, algorithmique, programmation, théorie des langages, compilation.

Oct. 1990 - Sept. 1991

Service militaire effectué en tant que Volontaire Formateur en Informatique au sein d'un organisme de réinsertion sociale.
Matières enseignées: initiation à l'informatique, bureautique.

Expérience de recherche

Jan. 2016 - ...

Professeur d'Université à l'Université de Lorraine.
Activités de recherche effectuées au sein de l'équipe Pesto du LORIA (CNRS et Univ. Lorraine) et de l'INRIA Nancy Grand Est, équipe dirigée par Steve Kremer.

Sept. 2012 - Déc. 2015

Professeur d'Université à l'Université de Lorraine.
Activités de recherche effectuées au sein de l'équipe CASSIS du LORIA (CNRS et Univ. Lorraine) et de l'INRIA Nancy Grand Est, équipe dirigée par Michaël Rusinowitch.

Sept. 2003 - Août 2005

Maître de Conférences à l'Université Nancy 2, en délégation au CNRS.
Activités de recherche effectuées au sein de l'équipe CASSIS du LORIA.

Sept. 1997 - Août 2012

Maître de Conférences à l'Université Nancy 2.
Activités de recherche effectuées au sein de l'équipe PROTHEO, puis de l'équipe CASSIS du LORIA.

Déc. 1995 - Août 1997

Attaché Temporaire d'Enseignement et de Recherche au CRIN, membre de l'équipe PROTHEO, dirigée par Claude Kirchner, commune au CRIN, au C.N.R.S. et à l'INRIA Lorraine.

Déc. 1994 - Nov. 1995

Année post-doctorale au titre de boursier INRIA à l'étranger, au sein du département informatique de l'Université de l'État de New York à Stony Brook. Collaboration avec les Professeurs Leo Bachmair, I.V. Ramakrishnan et Anita Wasilevska.

Oct. 1991 - Nov. 1994

Préparation du Doctorat de l'Université Henri Poincaré - Nancy I. Allocataire de Recherche du M.R.T. du 01/10/1991 au 30/09/1994.
Travaux effectués sous la responsabilité de Michaël Rusinowitch, au sein de l'équipe EURECA (dirigée par Pierre Lescanne), puis PROTHEO (dirigée par Claude Kirchner).

Fév. 1990 - Sept. 1990

Stage de D.E.A. effectué, sous la responsabilité de Michaël Rusinowitch, au sein de l'équipe EURECA du CRIN.

Thèmes de recherche

Voici les principaux thèmes de recherche sur lesquels j'ai travaillé et travaille encore, liés à la déduction automatique.

• Déduction automatique avec égalité,
• Stratégies de détection d'informations redondantes,
• Résolution de contraintes,
• Implantation efficace de techniques de normalisation,
• Preuves de complétude,
• Logiques non classiques, Rough sets,
• Application de la déduction automatique à la vérification de protocoles cryptographiques,
• Implantation, interfaçage.

Encadrement de Doctorants

• 2000-2003: Yannick Chevalier, Recherche d'attaques dans des protocoles par résolution de contraintes.
• 2003-2006: Judson Santos Santiago, Spécification et analyse de protocoles complexes dans AVISPA.
• 2005-2009: Najah Chridi, Vérification automatique de protocoles de groupe.

Encadrement de stagiaires

• Emmanuel Thouvenin (DESS IA) : Étude d'améliorations dans l'algorithme de subsomption de daTac.
• Valéry Bardelang (2e année ESIAL) : Réalisation d'une interface graphique pour daTac.
• Nicolas Herstain et Jérôme Provot (2e année ESIAL) : Étude de l'interfaçage avec Tcl/Tk depuis Caml-Light.
• Rim Al Hulou (DEA) : Automates pour le filtrage associatif-commutatif (co-encadrement).
• Jérôme Besombes (Maîtrise Ingénierie Mathématique) : Stratégies d'aide à la démonstration automatique.
• Fabien Merlier et Fabrice Mougin (2e année ESIAL) : Sécurité des protocoles cryptographiques.
• Thi-Bich Cao et Marion Siffert (Maîtrise Informatique) : Reconstruction de déductions.
• Sébastien André et David Bocquenet (Maîtrise Informatique) : Attaque de protocoles cryptographiques.
• Rim Al Hulou (DEA).
• Abdel Rezzak Bara (DEA).
• Najah Chridi (ENSI, DEA).
• Ambuj Pushkar Ojha (INRIA).

---