Patrick COUSOT
|
Personnal home page at the Computer Science
Department of the École
Normale Supérieure in Paris
(France)
- Course 16.399: « Abstract Interpretation »
- Minta Marta lecture, Bartos Theater, Friday, May 13, 2005 (invite,
directions, abstract, slides).
- Seminars:
- Workshop on Critical Research Areas in Aerospace Software,
Tuesday August 9th, 2005
- Publications (papers written while visiting MIT or on work done
at MIT, see also my publication home page):
Office: 33—219
MIT Aero-Astro
125 Massachusetts Av.
Cambridge MA 02139 U.S.A.
tel: 617-253-7439
cousotmitedu
http://www.mit.edu/~cousot/
© Copyright
notice