Patrick Cousot

Professor of Computer Science

• ENS (École Normale Supérieure, Paris, France)
• DMI (Département de Mathématiques et d'Informatique)
• LIENS (Laboratoire d'Informatique de l'École Normale Supérieure, URA CNRS 1327)
• Home page

Visiting Professor of Computer Science (20-27 september 1998)

• Dipartimento di Matematica e Informatica
• Facoltà di Scienze MM.FF.NN.
• Università di Udine Italy.
• Stanza 7 - Stecca NORD
• Telephono: +39 (432) 55.84.84
• Fax: +39 (432) 55.84.99
• Email: cousot@dimi.uniud.it (cousot@di.ens.fr)

Seminario

Corso di Interpretazione Astratta

• Dottorato in Informatica
• Il Corso
• Esame:
  • Exam text (PS);
  • Answers are due by December 1st, 1998, by postal mail or email to cousot@di.ens.fr;
  • Marks will be available by January 1st, 1999.