Members of the “Abstract Interpretation” group

Prof. Patrick COUSOT

• Julien BERTRANE
• Bruno BLANCHET
• David CADÉ
• Liqian CHEN
• Patrick COUSOT
• Radhia COUSOT
• Jérôme FERET
• Vincent LAVIRON
• Jérémy LECONTE
• Laurent MAUBORGNE
• Antoine MINÉ
• Xavier RIVAL
• Élodie-Jane SIMS
• Matteo ZANIOLI