Accueil

Researcher in the Pareo Research Group – Loria

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

Research

Teaching

Activities

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

PhD committees

  • Geoffrey Hetch, Lille, 2016
  • 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