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