Former members of the “Abstract Interpretation” group

Prof. Patrick COUSOT

• Bruno BLANCHET
• François BOURDONCLE (Exalead)
• David CADÉ
• Liqian CHEN
• Régis CRIDLIG (Deputy Program Manager, MIDS International Program Office, San Diego, California, USA)
• Alain DEUTSCH † (PolySpace Technologies)
• Pietro FERRARA (ETH Zurich)
• Philippe GRANGER (Auriga)
• Éric GOUBAULT (CEA Saclay)
• Jean GOUBAULT-LARRECQ (École normale supérieure de Cachan)
• Nicolas HALBWACHS (Vérimag)
• Klaus HAVELUND (Jet Propulsion Laboratory)
• Jérémy LECONTE
• Laurent MAUBORGNE
• François MASDUPUY
• Nicolas MERCOUROFF (Executive Director, Mobile CTO Office, Application & Terminal Strategy, Alcatel, France), MacAstro 1.6
• Dominique MÉRY
• David MONNIAUX
• Bruno MONSUEZ (ENSTA)
• Élodie-Jane SIMS
• Ian STRANSKY (CEA Saclay)
• Frank VÉDRINE (CEA Saclay)
• Arnaud VENET (Kestrel technology)