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
- depuis 2022 : Professeur des universités, Université de Lorraine, LORIA et UFR mathématiques et informatique
- 2013-2015 : Délégation à temps complet, INRIA Nancy Grand-Est, équipe Sémagramme
- 2008-2022 : 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)