CV

Formation

  • 2016 : Habilitation à Diriger des Recherches (HDR) – Université de Lorraine
    • Sémantique et discours de la modélisation à l’interprétation
    • parrain : Philippe de Groote
    • jury : Claire Gardent (présidente), Nicholas Asher (rapporteur), Philippe Blache (rapporteur), Isabelle Tellier (rapportrice), Jean-Yves Marion (examinateur).
  • 2007 : Thèse (PhD) (LABRI / Université Bordeaux 1)
    • Calculs de représentations sémantique et syntaxe générative : les grammaires minimalistes catégorielles (in french) [pdf] [slides]
    • encadrants : Christian Retoré et Alain Lecomte
    • jury : Géraud Sénizergues, Isabelle Tellier, Uwe Mönnich, Christian Retoré, Alain Lecomte, Nicholas Asher et Gregory Kobele
  • 2003 : DEA informatique, Université Bordeaux 1
    • Grammaires minimalistes et représentations sémantiques
    • encadrants : Christian Retoré et Alain Lecomte
  • 2002 : Maîtrise de mathématiques et informatique, Université Bordeaux 1
    • Vérification du protocole Otway-Rees avec l’assistant de preuve CoQ
  • 2001 : Licence de mathématiques et informatique, Université Bordeaux 1
  • 2000 : DEUG de mathématiques et informatique, applications aux sciences, Université Bordeaux 1

Expérience professionnelle

  • 2013-2015 : Délégation à temps complet, INRIA Nancy Grand-Est, équipe Sémagramme
  • 2008- : Maître de conférences, Université de Lorraine, LORIA et UFR mathématiques et informatique
  • 2007-2008 : Chercheur associé, équipe Signes – LORIA
  • 2007–2008 : post-doc, Orange Labs, équipe EASY/LN – Lannion
  • 2006–2007 : ATER, section 27 à l’ENSEIRB (100%)
  • 2003-2006 : Allocataire MENRT, LaBRI UMR 5800 – Inria Bordeaux Sud-Ouest, équipe Signes
  • 2003-2006 : Vacataire, Université Bordeaux 1 (UFR informatique) et Université Bordeaux 3 (UFR sciences du langage)