Former visitors of the “Abstract Interpretation” group
Prof. Patrick COUSOT
- Pierpaolo DEGANO (Dipartimento di Informatica, Università di Pisa, jan. 1997)
-
Neil JONES (DIKU, november 1993)
-
Peter LEE
(CMU, may 1995, juillet/july 1997)
-
Leslie LAMPORT (DEC/research/SRC, september 1995, Win32 Threads Specification began by L. Lamport with his seminar at ENS in september 1995)
- Andreas PODELSKI (Max-Planck-Institut für Informatik, March 2000)
- Gordon PLOTKIN (Laboratory for Foundations of Computer Science, University of Edinburgh, May 2002)
- David SCHMIDT (june 1998)
- Reinhard WILHELM (september 1999)
- Barbara G. RYDER,
(Rutgers University), juin 2001
- Lee Chin Soon (DIKU), 5-9 november 2001
- Neil Jones (DIKU), novembre 2001 (DI & LIX)
- George Necula (Berkeley.), Jan. 2005 - May 2005