I am assistant professor in the CARTE Team . I am also Ingénieur Civil des Mines. My research focuses on resource and complexity analysis for term rewrite systems, functional and imperative programs, in particular resource control using semantics interpretations, and concurrency theory.
More informations are available in my Curriculum Vitae.
Responsibilities
Member of Operation Postes
French coordinator of INRIA Associate team CRISTAL
Administrative member of the c2i, Certificat informatique et internet, Université de Nancy 2
Contact Information
Office: B272, LORIA
Phone: (+0033) 3 54 95 84 08
Email: pechoux@loria.fr
Postal address:
LORIA
Equipe Carte 615, rue du jardin botanique
BP 239 54506 Vandœuvre-lès-Nancy
France
Personal address:
9, Avenue Foch
54400 Longwy
France
|
pechoux@loria.fr