Patrick COUSOT

  Professeur d'informatique
  Computer science professor

Interprétation Abstraite et Sémantique  Abstract Interpretation and Semantics

• Équipe de recherche / research group: (introduction :   / , membres/members)
• Recherche / Research (thèmes / themes, publications / papers, exposés / talks, écoles / schools, séminaire SIA / SAI seminar, projets/projects, comités/committees)
• Enseignement / Teaching (livres / books, cours/courses, stages/interships, Prédoctorat de l'E.N.S./predoctorate of the E.N.S., M.P.R.I.)
• Institutions
• Services (chercheurs / researchers, conférences / conferences)

Quoi de neuf ? / What's new? :

• Logiciel / Software:
  • Industrial application of the ASTRÉE static analyzer at Airbus France (Le Monde, Nº 18741, 27 avril 05, page 18, L'avion qui "bat des ailes" a fédéré de nombreux chercheurs)

• Publications :
  • Patrick Cousot.
    Integrating Physical Systems in the Static Analysis of Embedded Control Software.
    In APLAS 2005 — The Thi rd Asian Symposium on Programming Languages and Systems, Kwangkeun Yi (editor), Lecture Notes in Computer Science 3780, pp. 135—138, 2—5 November 2005, Tsukuba, Japan, © Springer.

• Jerome Clarke Hunsaker Visiting Professor at MIT Aeronautics and Astronautics Department.
  MIT personnal web page.

• VMCAI'06, Charleston, South Carolina, U.S.A., January 8-10, 2006
• ERTS2006: Embedded Real Time Software, Toulouse, January 25-27, 2006
• Logic and Algorithms, Isaac Newton Institute for Mathematical Sciences at Cambridge, UK, May 8-12, 2006
• PLDI'06, Ottawa, Canada, June 11-16, 2006.
• APLAS'06, Sydney, Australia, November 8-10, 2006
• POPL'07, Nice, France, January 17-19, 2007
• ESOP'07, Braga, Portugual, 26th - 30th March 2007.

Dernière mise à jour / Last modified : Sunday, 11-Dec-2005 13:03:12 CET
external accesses of this page since 22-Nov-96.