•   Publications & Talks

  •   Editorial Responsibilities

  •   Teaching     &    Summer School

  •   Benchmarks     &    CeP Tools

  •   Sujet de Master : Analyse de Robustesse
    par Interprétation Abstraite et Programmation par Contraintes

    (avec poursuite en thèse dans le cadre de l'ANR COVERIF)