Professor in Computer Science at University of Lorraine – Faculty of Sciences and Technologies and LORIA.

Head of the department Formal Methods. Member of the team MOSEL.

Research Activities

Theoretical foundations and practical applications of rewriting.

Typed and untyped rewriting calculus and applications to rewrite based languages (Tom).

Program transformation.

Teaching activities

Software Engineering, Software Design, Algorithms, Rewriting.


LORIA – Batiment C
Campus scientifique
BP 239
54506 Vandoeuvre-lès-Nancy Cedex

+33 (0)3 54 95 84 06