Professor at Ecole des Mines de Nancy, head of the Computer Science and IT Department
Head of the Pareo Research Group (LORIA INRIA)

Loria-Inria

Office C305 (new)                                    Centre de recherche INRIA Nancy - Grand Est, Bât. B
tel: +33 (0)3.54.95.84.65                            615, rue du Jardin Botanique
Pierre-Etienne.Moreau[@]loria[.]fr                   CS 20101
                                                     F-54603 Villers-lès-Nancy Cedex
                                                     France
Assistant: Laurence Benini (Office C133)
      tel: +33 (0)3.54.95.84.25
      fax: +33 (0)3.83.55.25.73
      Laurence.Benini[@]inria[.]fr                            

Ecole des Mines de Nancy

tel: +33 (0)3.54.95.84.65                            Parc de Saurupt
Pierre-Etienne.Moreau[@]mines.inpl-nancy[.]fr        CS 14234
                                                     F-54042 Nancy Cedex
Assistant: Françoise Laurent 
      tel: +33 (0)3.83.58.42.70
      Francoise.Laurent[@]mines.inpl-nancy[.]fr                            

• Tom: integration of formal constructs into Java (gforge page)
• Program, system, security policy analysis
• Quarteft project
• Term Rewriting
• Program Transformation

• AMMSE 2011 (PC): 2nd International Workshop on Algebraic Methods in Model-Based Software Engineering
• WASDETT 2011 (OC): 4th International Workshop on Academic Software Development Tools and Techniques
• Past events

• Anti-Patterns For Rule-Based Languages (Journal of Symbolic Computation 2010)
• TomML: A Rule Language For Structured Data (RuleML 2009)
• Analysis of Lattice-Based Access Control Policies using Rewriting Systems and Tom (Luxembourg Day on Security and Reliability 2009)

• Bibtex (full list) (with bibtex entries: Bibtex)
• DBLP HALtools
• Habilitation à Diriger des Recherches

• Cours à l'Ecole des Mines
• Master 1 Nancy

• Mathieu Boespflug, reviewer, 2011
• Julien Blond, 2010
• Laurent Hubert, reviewer, 2010
• Paul Brauner, 2010
• Emilie Balland, 2009
• Muck van Weerdenburg, 2009
• Radu Kopetz, 2008
• Pierre Parrend, 2008
• Antoine Reilles, 2006

• Comipers Enseignant
• Ecole Doctorale IAEM Lorraine
• DFD Informatique

• Support de cours
• Quelques photos
• Public Calendar