Recherche

• Page LaBRI
• Research Interests
  • Symbolic Computation
  • Term Rewriting
    
    • The Autowrite system
  • Verification of graph properties with term automata
    • The Autograph system
  • Computational Linguistics
    • The SLS system
  • Term Rewriting Automata and Graphs
    • The TRAG system
• Projet ANR GRAPHEN
• Publications (Term rewriting, temporal reasoning)
• Old publications

Enseignement

• LST Informatique
• Master Informatique

Administration

• Présidence du comité de programme de ELS 2016
• Membre du comité de pilotage de ELS
• Répartition des enseignements de l'UF Informatique

Divers

• Sur le thème du plagiat...
• Pages personnelles