CV

Academic qualifications

  • 1995: PhD in computer science  at Université Henri Poincaré, Nancy (France), topic « Automated Deduction in Linear Logic »
  • 2003: HDR (Habilitation à Diriger des Recherches) in Computer Science at Université Nancy 2

 

Professional experience

  • 1975-1988: « professeur de lycée professionnel » of mathematics, physics and chemistry at « Lycée professionnel les Grands Bois » in Hayange (France).
  • 1988-1989: « professeur certifié » of mathematics at « collège Bernanos » in Montigny-lès-Metz (France).
  • 1989-1990: « professeur certifié » of mathematics at « collège Hurlevent » in Hayange (France).
  • 1990-1995: « professeur agrégé » of mathematics at « collège du Justemont » in Vitry-sur-Orne (France).
  • 1995-2005: associate professor in computer science at IUT Epinal, Université Nancy 2 (France).
  • 2005-2014: professor in computer science at Université de Lorraine.
  • 2014-2016: emeritus professor in computer science at université de Lorraine.

 

Research interest

    Computational Linguistics
    0%

    I  work in the symbolic approach of Natural Language Processing with a focus on the syntactic and semantic levels. Currently, I use Graph Rewriting for producing syntactic and semantic representations of utterances.

 

    Computational Logic
    0%

    Previously, I worked on proof theory in linear logic.