Former post-docs of the “Abstract Interpretation” group

Prof. Patrick COUSOT

• Christopher COLBY (CMU, May—August 1995)
• Sven-Olof NYSTRÖM (1996—97)
• Corrado PRIAMI (1996—97)
• German PUEBLA (Oct.—Dec. 1997)
• Jean-Francois RASKIN (Oct.—Dec. 1997)
• Axel SIMON (Nov. 2006—Dec. 2009)