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.
Contact
LORIA – Batiment C
Campus scientifique
BP 239
54506 Vandoeuvre-lès-Nancy Cedex
France
+33 (0)3 54 95 84 06
