Pierre-Etienne Moreau

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 (depuis 2015)

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

  • 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, advisor, 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

  • Jason Lecerf, president, Lille, 2019
    Construction de moteurs de transformation de code automatique agnostiques du language

  • Maxime Compastié, president, Nancy, 2018
    Software-defined Security for Distributed Clouds

  • Dan Zhang, examiner, Eindhoven, 2018
    From Concurrent State Machines to Reliable Multi-threaded Java Code

  • Past Committees