Christian RETORÉ
Thanks to my PhD students and colleagues
for the CR60 workshop

Professeur, Université de Montpellier
Equipe TEXTE,
LIRMM
Coordinateur de l'axe transverse "logiques"

Adresse
LIRMM - Campus St Priest - BAT 5 Case Courrier 05 016 - 860 rue de St Priest
34095 Montpellier cedex 5 Bureau 1-160 Tél: :+33/0 04 67 14 98 22
photo christian retore midi libre 16 mai 2016

Research activities



Projets:

Séminaires:


Past research activities

  • BSc in pure mathematics (1986) Université Paris 6 Pierre et Marie Curie (today: Paris Sorbonne math dept)
  • Master (1987) & PhD in mathematics (1993) both supervised by J.-Y. Girard Université Paris 7 Denis Diderot (today: Université de  Paris math dept)
  • "Habilitation à diriger des recherches (HDR)" in computer science  (2002), Université de Nantes, CRIN (today: IS2N) (HDR: diploma needed to be the supervisor of a PhD)
  • (1993-1994) INRIA Post-Doc Sophia Antipolis in the Meije team (G. Berry, G. Boudol)
  • (1994-2003) INRIA research scientist (Nancy 1994-1997, Rennes 1997-2002, Bordeaux 2002-2003)
  • (depuis 2003)  Professeur des universités publiques de France:
hand written email address
Responsable de l'équipe Texte du LIRMM

Membre élu du conseil d'administration de l'université de Montpellier (CA) 2019-2022

Membre du conseil d'UFR (2023-2026)

Responsable du parcours de master Intelligence Artificielle et Science des Données

Correspondant pédagogique du département informatique de la faculté des sciences (2018-2022)


the logic of categorial grammars (springer, 2012)

Principaux cours enseignés depuis sept 2021 (LMD5):

  • @ÉTUDIANTS: Depuis 2014 je dépose les documents de cours
    sur le Moodle de  l'université de Montpellier

  • Premier semestre
    • L3 HAI504I Logique du premier ordre
    • M1 HAI710I Logique, calculabilité, complexité
    • M2 HAI922I Langage naturel 2 sémantique des mots et de la phrase
  • Second semestre:
    • M1 HAI816I Logique pour le génie logiciel et l'intelligence artificielle (logiques modales et applications)
    • M1 HAI815I Langage naturel 1 syntaxe
  • Previous courses