Pierre-Etienne Moreau

Director of TELECOM Nancy - Université de Lorraine

Professor at Mines Nancy - Université de Lorraine

Researcher in the Mosel - Veridis Research Groups - Loria

Research

  • Foundations and practical applications of Term Rewriting

  • Tom: integration of formal constructs into Java

  • Program Transformation

  • Software Engineering

  • Scientific Leader of GDR CNRS GPL (Génie de la Programmation et du Logiciel, 2016-2020)

  • Head of Inria Pareo Research Group (2008-2014)

Teaching

Loria - Inria

Office B204

Loria
Campus Scientifique, BP 239
54506 Vandoeuvre-lès-Nancy
France

École des Mines de Nancy

Office R329

Mines Nancy
Campus ARTEM, BP 14234
54042 Nancy cedex

Activities

  • Scientific Leader of GDR CNRS GPL (Génie de la Programmation et du Logiciel) (2016-2020)

  • Member of GDR GPL board (2011-2016)

  • Member of scientific council of GDR GPL board (since 2020)

  • Member of the editorial board of Science of Computer Programming

  • Membre de la section 27 du CNU (2015-2019)

  • Comités de sélection PR Rennes 2021, PR X 2021

  • Comités HCERES CRISTAL 2018, LIG 2019

  • Correcteur de l'épreuve "Informatique Pour Tous" du concours Mines-Ponts (2015-2022)

  • Correcteur de l'épreuve Informatique 1, filière MPI, concours Mines-Ponts (2022-)

Events

  • GDR GPL 2021 : Journées du GDR-GPL (Génie de la Programmation et du Logiciel)

  • GDR GPL 2019 (chair): Journées du GDR-GPL (Génie de la Programmation et du Logiciel)

  • Past Events [PC: Program Committee member, OC: Organisation Committee member]

Publications

PhD committees

  • Pierre Lermusiaux, adviser, Nancy, 2022
    Analyse statique de transformations pour l'élimination de motifs

  • Rémi Badonnel, HDR, president, Nancy, 2022
    Managing Security for the Cyber-Space -- From Smart Monitoring to Automated Configuration

  • Salwa Kobeissi, president, Strasbourg, 2021
    Speculative Rewriting of Recursive Programs as Loop Candidates for Efficient Parallelization and Optimization Using an Inspector-Executor Mechanism

  • Louis Viard, adviser, Nancy, 2021
    Environnement de développement de missions pour systèmes cyber-physiques

  • Nicolas Szlifierski, reviewer, Brest, 2020
    Contrôle sûr de chaînes d’obfuscation logicielle

  • Past Committees