Members of the “Abstract Interpretation” group

Prof. Patrick COUSOT

• Julien BERTRANE
• Mehdi BOUAZIZ
• Tie CHENG
• Ferdinanda CAMPORESI
• Patrick COUSOT
• Radhia COUSOT
• Jérôme FERET
• Vincent LAVIRON
• Antoine MINÉ
• Suzanne RENARD
• Alessandro ROMANEL
• Xavier RIVAL
• Antoine TOUBHANS
• Matteo ZANIOLI