Pierre-Etienne Moreau

Contact

Loria - Inria

Office C305
tel: +33 (0)3.54.95.84.65
Pierre-Etienne.Moreau@(loria|univ-lorraine).fr
 
Centre de recherche INRIA Nancy - Grand Est, Bât. C
615, rue du Jardin Botanique
CS 20101 
F-54603 Villers-lès-Nancy Cedex France 

École des Mines de Nancy

Office R329
tel: +33 (0)3.55.66.28.20 
Pierre-Etienne.Moreau@(mines-nancy.fr|univ-lorraine).fr

Campus ARTEM
CS 14234 - F-54042 Nancy cedex

Assistant: Françoise Laurent 
tel: +33 (0)3.83.58.42.70 
Francoise.Laurent[@]univ-lorraine[.]fr
Professor at Mines Nancy - Université de Lorraine

Researcher in the Pareo Research Group - Loria

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

Research

Teaching

Events

  • GDR GPL 2016 : Journées du GDR-GPL (Génie de la Programmation et du Logiciel)
  • SLE 2016 (PC): 9th International Conference on Software Language Engineering
  • WRLA 2016 (PC): 11th International Workshop on Rewriting Logic and its Applications
  • EJCP 2015 (OC-chair) : École des Jeunes Chercheurs en Programmation
  • Past Events [PC: Program Committee member, OC: Organisation Committee member]

Publications

Recent Files

  • ClaudiaTavaresThesis.pdf   2328 Ko - 11 mai 2012 à 03:26 par Pierre-Etienne Moreau (v2)
  • SantoshKCThesis.pdf   8727 Ko - 30 juil. 2013 à 07:46 par Pierre-Etienne Moreau (v3)
  • RaduKopetzThesis.pdf   1717 Ko - 11 mai 2012 à 03:15 par Pierre-Etienne Moreau (v2)
  • PierreParrendThesis.pdf   3420 Ko - 11 mai 2012 à 03:15 par Pierre-Etienne Moreau (v2)
  • PaulBraunerThesis.pdf   2290 Ko - 11 mai 2012 à 03:15 par Pierre-Etienne Moreau (v2)
Affichage de 5 fichier(s) de la page Files

Activities

PhD committees

  • Benoit Cornu, reviewer, Lille, 2015
    Automatic Analysis and Repair of Exception Bugs for Java Programs
  • Cyril Bouvier, Nancy, 2015
    Algorithmes pour la factorisation d'entiers et le calcul de logarithme discret
  • Faiez Zalila, reviewer, Toulouse, 2014
    Methods and tools for the integration of formal verification in domain-specific languages
  • Cyrille Wiedling, Nancy, 2014
    Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs
  • Jean-Christophe Bach, adviser, Nancy, 2014
    Un îlot formel pour les transformations de modèles qualifiables
  • Past Committees