Rapide Curriculum Vitæ de Christian Retoré (janvier 2011)
Situation Je suis né en 1964, et j'ai suivi des études mathématiques pures aux universités Paris 6 (licence et maîtrise) et Paris 7 (DEA et thèse) conclues en 1993 par un doctorat dirigé par Jean-Yves Girard. J'ai été ATER en mathématiques pures à l'université d'Angers et post-doctorant à l'INRIA Sophia-Antipolis, avant d'être recruté en 1994 comme chargé de recherche à l'INRIA-Lorraine (LORIA). J'ai ensuite été chargé de recherche à l'INRIA-Rennes (IRISA) de 1997 à 2000, en détachement maître de conférences en informatique à l'université de Nantes de 2000 à 2002, où j'ai soutenu une habilitation à diriger des recherches en informatique. Arrivé à Bordeaux durant l'été 2002 comme chargé de recherche INRIA, j'ai monté l'équipe-projet Signes de l'INRIA Futurs commune avec le LaBRI (CNRS et université de Bordeaux) et en 2003 je suis devenu professeur d'informatique à l'université Bordeaux 1 où j'ai été suis responsable du master Algorithmes et méthodes formelles de 2006 à 2010.
Sujets de recherche
- Logique Thématiquement, mes recherches portaient initialement sur les preuves de la logique linéaire en particulier non commutative, aussi bien sur leur structure combinatoire (graphes, cographes, couplages) que sur leur sémantique (catégorie des espaces cohérents munies des fonctions stables ou linéaires). Initialement, les applications informatiques que j'ai considérées étaient les modèles du calcul paralléle, mais la logique linéaire non commutative m'a rapidement conduit à élargir mes intérêts vers la linguistique formelle, même si je reviens de temps à autre à des questions de logique "pure" du reste souvent motivées par des préoccupations linguistiques.
- Syntaxe et sémantique de la phrase Je me suis notamment dirigé vers la modélisation de la syntaxe et de la sémantique du langage naturel. Je me suis consacré à des extensions syntaxiques des grammaires catégorielles de Joachim Lambek, en liaison avec les grammaires d'arbres dites minimalistes, tout en restant dans le cadre des variantes non commutatives de la logique linéaire. Je me suis notamment penché sur le calcul de formules de la logique d'ordre supérieur représentant le sens des phrases à partir des analyses syntaxiques dans les logiques des ressources.
- Sémantique lexicale Depuis 2006, j'étudie des enrichissements de la composante sémantique des grammaires de ce style afin de rendre compte des différents aspects que peut revêtir une entrée lexicale, ce qui pose des questions logiques intéressantes, sur le premier et le second ordre et leurs modèles. Quelle est la structure logique du lexique? Quel lien entretient-il avec l'ontologie? Comment rendre compte des relations entre prédicats? Bien évidemment la difficulté est de rendre compte des glissements de sens dans un cadre compositionnel, en gardant la correspondance entre syntaxe et sémantique que donne les grammaire catégorielles.
- Linguistique expérimentale et modèles formels Depuis 2010, je me propose de découvrir, dans un cadre logique, les analogues sémantique des notions syntaxiques de compétence et de performance: quels fragments de quelle logique correspond àa la sémantique formelle? A l'intérieur de cette compétence, quelles mesures cernent les limites de notre compréhension humaine? Quels types d'interprétation ou de modèles utilisons nous? Pour ce faire j'étudie les modèles topologiques et géométriques de la logique intuitionniste du premier ordre (faisceaux, topos) dans le but d'en faire de similaires, non ad hoc, pour la logique linéaire, bien plus adaptée à décrire certains phénomènes langagiers. En parallèle, je souhaite avec l'aide de spécialistes comme ceux du LPL, entreprendre une démarche expérimentale, en particulier sur le dialogue, plus apte à rendre compte des difficultés de compréhension, que ce soit en corpus, dans des tests, voire avec certaines expériences d'imagerie cérébrale. La quantification est l'une des questions qui m'intrigue, car il n'est pas sûr que le point de vue ensemblistes usuels correspondent bien aux préoccupations des linguistes, ni au processus humain de compréhension.
Aspects factuels
- Publication et activités éditoriales J'ai publié une douzaine d'articles, cinq chapitres de livre, une trentaine de communications à des colloques et j'ai participé à une vingt-sept comités de colloques, dont dix-huit internationaux, ainsi qu'à quatre comités d'évaluation de laboratoires. De 2004 à 2009 j'étais rédacteur en chef de la revue Traitement Automatique des Langues, et, depuis 2003, je suis reviewer pour les Mathematical Reviews. Depuis juillet 2008, je suis membre du comtié de rédaction de la Gazette des mathématiciens, le bulletin d'information de la Société Mathématique de France, en charge des liens entre mathématiques, logique et informatique.
- Evaluation J'ai été membre du jury du prix de thèse international E. W. Beth (Foundation for logic, language and information) de 1999 à 2005 ainsi que du jury du prix de thèse national en informatique de SPECIF (Société des Personnels Enseignants et Chercheurs en Informatique de France) de 2005 à 2007. J'ai encadré quatre thèses et deux sont en cours. J'ai participé à quinze jurys d'autres thèses dont huit fois en tant que rapporteur et à quatre jurys d'habilitation, une fois en tant que rapporteur. J'ai été membre du comité d'évaluation de quatre laboratoires (1 CoNRS, 3 AERES) et d'une dizaine de projets de l'ANR.
- Organisation Après avoir maintes fois participé comme élève et comme enseignant à ESSLLI (European Summer School in Logic, Language and Information), j'ai dirigé l'organisation de la 21e édition de cette grande école d'été (41 cours, 7 workshops, deux semaines, cinq cent vingt personnes) à Bordeaux en juillet 2009. Quand on a organisé ESSLLI l'organisation de divers colloques normaux (LACL, JSM,...) semble bien tranquille.