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.
Theoretical foundations and practical applications of rewriting.
Typed and untyped rewriting calculus and applications to rewrite based languages (Tom).
Software Engineering, Software Design, Algorithms, Rewriting.
LORIA – Batiment C
54506 Vandoeuvre-lès-Nancy Cedex
+33 (0)3 54 95 84 06