Patrick COUSOT

  Jerome Clarke Hunsaker Visiting Professor at the MIT Aeronautics and Astronautics Department

• Course 16.399: « Abstract Interpretation »
• Minta Marta lecture, Bartos Theater, Friday, May 13, 2005 (invite, directions, abstract, slides).
• Seminars:
  • Automatic verification of avionic synchronous safety critical embedded software, NU Programming Languages Seminar Wednesday, June 1, 2005 11:45-1:15 Room 366
  • The ASTRÉE static analyzer, Thursday, June 16 2005, 2:00PM to 3:30PM, MIT/EECS/CSAIL, Stata Center, 32-D463 (Star)
• Workshop on Critical Research Areas in Aerospace Software, Tuesday August 9^th, 2005
• Publications (papers written while visiting MIT or on work done at MIT, see also my publication home page):
  P. Cousot. The Verification Grand Challenge and Abstract Interpretation. In Verified Software: Theories, Tools, Experiments, ETH, Zürich, Switzerland, October 10th-13th, 2005.

cousotmitedu