Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Former post-docs of the “Abstract Interpretation” group

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)

Last modified: Saturday, 02-Jan-2010 17:29:16 CET